Timeline for Set theory determined by $V_\alpha$ for limit ordinals $\alpha>\omega$
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 17, 2022 at 23:50 | answer | added | Ali Enayat | timeline score: 9 | |
| Jan 17, 2022 at 22:31 | history | edited | Hanul Jeon | CC BY-SA 4.0 |
The previous proof contains an error
|
| Jan 17, 2022 at 12:55 | answer | added | Emil Jeřábek | timeline score: 6 | |
| Jan 17, 2022 at 4:27 | comment | added | Hanul Jeon | @Noah It would complicate determining $T$ (or $\mathsf{ZC+CHA}$ proves Borel determinacy.) | |
| Jan 17, 2022 at 4:24 | history | edited | Hanul Jeon | CC BY-SA 4.0 |
added 50 characters in body
|
| Jan 17, 2022 at 3:59 | history | edited | Hanul Jeon | CC BY-SA 4.0 |
added 193 characters in body
|
| Jan 17, 2022 at 2:46 | comment | added | Noah Schweber | Re: (1), Borel determinacy famously requires quite a lot of replacement but is already "detected" by $V_{\omega+1}$, hence by $V_\alpha$ for every limit $\alpha>\omega$. | |
| Jan 17, 2022 at 2:33 | answer | added | Joel David Hamkins | timeline score: 10 | |
| Jan 17, 2022 at 2:21 | history | edited | Hanul Jeon | CC BY-SA 4.0 |
added 12 characters in body
|
| Jan 17, 2022 at 1:23 | history | undeleted | Hanul Jeon | ||
| Jan 17, 2022 at 1:23 | history | deleted | Hanul Jeon | via Vote | |
| Jan 17, 2022 at 1:22 | history | asked | Hanul Jeon | CC BY-SA 4.0 |