Timeline for Analytic uniformization
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 27, 2013 at 22:37 | comment | added | 喻 良 | You are right. I corrected the typo. The existence of $A$ follows from a well known fact that there is a $\Sigma^1_1$ set which does not contain a hyperarithmetic real. | |
| Aug 27, 2013 at 22:35 | history | edited | 喻 良 | CC BY-SA 3.0 |
added 1 characters in body
|
| Aug 27, 2013 at 15:02 | vote | accept | jonathanverner | ||
| Aug 27, 2013 at 15:01 | comment | added | jonathanverner | I assume that the first formula should read $A\subseteq 2^{<\omega}\times\omega^{<\omega}$... Also, does the existence of $A$ follow from some theorem or should it be obvious (sorry, I am not very fluent in descriptive set theory let alone effective descriptive ST). | |
| Aug 7, 2013 at 11:06 | history | answered | 喻 良 | CC BY-SA 3.0 |