Pages that link to "Item:Q3507462"
From MaRDI portal
The following pages link to Complete Determinacy and Subsystems of Second Order Arithmetic (Q3507462):
Displaying 4 items.
- The determinacy strength of \(\Pi_2^1\)-comprehension (Q636381) (← links)
- Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts (Q2144614) (← links)
- Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives (Q2285848) (← links)
- Infinite games in the Cantor space and subsystems of second order arithmetic (Q5293192) (← links)
