Timeline for Uniformization and functions on Turing degrees
Current License: CC BY-SA 4.0
2 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Mar 27 at 19:32 | comment | added | Dmytro Taranovsky | "sufficiently closed $α$" should be "sufficiently closed $α<Θ$"; not sure how αth Turing jump (on a cone) is formalized for uncountable $α$. | |
Mar 27 at 17:29 | history | asked | Dmytro Taranovsky | CC BY-SA 4.0 |