Timeline for Languages beyond enumerable
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Apr 21, 2016 at 11:39 | comment | added | Steve Huntsman | In between algebraic and computable reals, we might insert periods: en.wikipedia.org/wiki/… | |
| Apr 21, 2016 at 2:16 | comment | added | Joel David Hamkins | No problem! Did you want me to include in my answer some of the graphics to which I link in my previous comment? Perhaps one can find also even better presentations of those hierarchies. | |
| Apr 21, 2016 at 2:14 | comment | added | Joseph O'Rourke | Sorry, Joel, I was clarifying my question at the same time you were expanding your answer. Thanks! | |
| Apr 21, 2016 at 2:06 | comment | added | Joel David Hamkins | There are iconic diagrams of the arithmetic hierarchy, which Bjørn and I mentioned, which you can find here: math.stackexchange.com/a/347375/413. Also, the projective hierarchy continues beyond this with: de.wikipedia.org/wiki/Projektive_Hierarchie. The entire arithmetic hierarchy lies inside the bottom level of the projective hierarchy. There is a similar hierarchy for the HOD reals, but when it come to genericity, the hierarchy becomes nonlinear and very complicated. | |
| Apr 21, 2016 at 1:54 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 102 characters in body
|
| Apr 21, 2016 at 1:47 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |