Timeline for Determinacy interchanging the roles of both players
Current License: CC BY-SA 2.5
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 22, 2010 at 22:53 | history | edited | Carl Mummert | CC BY-SA 2.5 |
pointclasses
|
| Jul 22, 2010 at 22:44 | comment | added | Carl Mummert | You're right; I misread the question as being about pointclasses (about why we don't consider both variations of the game). I'm going to clarify that in my answer. Marc Alcobé García, please consider accepting Justin Palumbo's answer instead of this one. | |
| Jul 22, 2010 at 20:56 | comment | added | Justin Palumbo | There is a subtlety here... It is true that if $\Gamma$ is a pointclass closed under continuous substitution then determinacy of sets in $\Gamma$ holds if and only if determinacy of sets whose complement lies in $\Gamma$ holds. But the question was about arbitrary sets. Under AC it is possible to construct using a diagonal argument a set $A$ such that $G(A)$ is determined and $G(A^c)$ is not. So I think actually the answer to the OPs question as stated is no... | |
| Jul 22, 2010 at 19:48 | vote | accept | Marc Alcobé García | ||
| Jul 23, 2010 at 6:25 | |||||
| Jul 22, 2010 at 17:54 | history | edited | Carl Mummert | CC BY-SA 2.5 |
add note
|
| Jul 22, 2010 at 16:58 | history | answered | Carl Mummert | CC BY-SA 2.5 |