Timeline for Does the boldface class $\Delta^1_2$ have the uniformization property? (assuming $V=L$)
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 9, 2016 at 21:16 | comment | added | Vladimir Kanovei | Under $V=L$, Uniformization fails for any $\bf\Pi^1_n$ and $\varPi^1_n$ with $n\ge 2$, but rather surprisingly every lightface nonempty $\varPi^1_n$ set contains a $\varPi^1_n$ singleton by an old result of Harvey Friedman | |
| Aug 18, 2013 at 17:05 | review | First posts | |||
| Aug 18, 2013 at 17:06 | |||||
| Aug 18, 2013 at 16:45 | history | answered | Rachid Atmai | CC BY-SA 3.0 |