Timeline for Weakening of open determinacy for uncountably long games
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 7, 2022 at 22:08 | comment | added | Noah Schweber | @DmytroTaranovsky Oh, yes, that's a good point. | |
| Sep 7, 2022 at 21:49 | comment | added | Dmytro Taranovsky | All $κ$ with $κ^{<κ}<2^κ$ satisfy this property since if player 2 (i.e. closed) does not have a winning strategy, then each strategy is defeated by some play, and there are $≤κ^{<κ}$ plays winning for player 1. | |
| Sep 5, 2022 at 9:13 | comment | added | Asaf Karagila♦ | Can we also say that $\kappa$ is LOL if the requirement for it to be LOI is ridiculous? | |
| Sep 5, 2022 at 0:27 | comment | added | Noah Schweber | In case it's useful, I have a tentative argument that the clopen version of LOI is equivalent to LOI itself, but I'm still checking the details. | |
| Sep 5, 2022 at 0:20 | history | asked | Noah Schweber | CC BY-SA 4.0 |