Timeline for Forcing a unique $\Delta_3^1$ generic real
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 17, 2023 at 5:01 | comment | added | Hanul Jeon | Is this question related to your previous deleted question about the failure of perfect set property for $\Pi^1_2$-sets but PSP holds for $\Sigma^1_2$-sets? | |
| Apr 16, 2023 at 14:05 | vote | accept | Lorenzo | ||
| Apr 15, 2023 at 23:12 | answer | added | Ali Enayat | timeline score: 8 | |
| Apr 14, 2023 at 14:41 | comment | added | Gabe Goldberg | Interesting! I didn't know about this paper. | |
| Apr 14, 2023 at 14:05 | comment | added | Lorenzo | @GabeGoldberg That's what I initially thought, but he isn't. I edited the question and added a link to the paper, written by Jensen and Solovay, in which they apply the almost disjoint forcing to get such a real (from $\mathsf{ZFC}$ alone). | |
| Apr 14, 2023 at 11:50 | history | edited | Lorenzo | CC BY-SA 4.0 |
deleted 30 characters in body
|
| Apr 14, 2023 at 7:19 | history | edited | Lorenzo | CC BY-SA 4.0 |
added 178 characters in body
|
| Apr 13, 2023 at 21:03 | comment | added | Gabe Goldberg | I think he might just be referring to zero sharp and the model $L[0^\#]$. The fact that zero sharp is a $\Pi^1_2$-singleton is proved in both Jech and Kanamori’s books. | |
| Apr 13, 2023 at 8:49 | history | asked | Lorenzo | CC BY-SA 4.0 |