Timeline for Strength of Borel determinacy
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 28, 2023 at 16:29 | vote | accept | new account | ||
| Sep 28, 2023 at 11:54 | comment | added | Andreas Lietz | In Martin's result, you need to assume $\Sigma^0_{\alpha+4}$-determinacy if $\alpha$ is finite. $\mathrm{ZFC^{-}}$ proves $\Sigma^0_3$-determinacy. | |
| Sep 28, 2023 at 11:51 | answer | added | Andreas Lietz | timeline score: 9 | |
| Sep 24, 2023 at 18:05 | history | edited | new account | CC BY-SA 4.0 |
added 221 characters in body
|
| Sep 23, 2023 at 22:27 | history | asked | new account | CC BY-SA 4.0 |