The following pages link to (Q3530407):
Displaying 7 items.
- The determinacy strength of \(\Pi_2^1\)-comprehension (Q636381) (← links)
- A characterization of \(\Sigma_1^1\)-reflecting ordinals (Q2231693) (← links)
- Determinacy and monotone inductive definitions (Q2631880) (← links)
- Complete Determinacy and Subsystems of Second Order Arithmetic (Q3507462) (← links)
- Determinacy of Wadge classes and subsystems of second order arithmetic (Q3619869) (← links)
- Infinite games in the Cantor space and subsystems of second order arithmetic (Q5293192) (← links)
- Open determinacy for class games (Q5351852) (← links)
