The following pages link to PROVABLY GAMES (Q5855751):
Displaying 5 items.
- Determinacy and extended sharp functions on the reals. II: Obtaining sharps from determinacy (Q1194242) (← links)
- Unraveling \(\boldsymbol\Pi_1^1\) sets (Q1591205) (← links)
- Conceptual proofs of the Menger and Rothberger games (Q2295640) (← links)
- Determinacy for games ending at the first admissible relative to the play (Q5480616) (← links)
- How to win some simple iteration games (Q5961723) (← links)