Pages that link to "Item:Q805613"
From MaRDI portal
The following pages link to Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games) (Q805613):
Displayed 8 items.
- The determinacy strength of \(\Pi_2^1\)-comprehension (Q636381) (← links)
- Comparing inductive and circular definitions: Parameters, complexity and games (Q817681) (← links)
- Borel quasi-orderings in subsystems of second-order arithmetic (Q1182484) (← links)
- Weak systems of determinacy and arithmetical quasi-inductive definitions (Q3011112) (← links)
- Reverse Mathematics: The Playground of Logic (Q3163663) (← links)
- Complete Determinacy and Subsystems of Second Order Arithmetic (Q3507462) (← links)
- Determinacy of Wadge classes and subsystems of second order arithmetic (Q3619869) (← links)
- Δ<sub>3</sub><sup>O</sup>-determinacy, comprehension and induction (Q5294020) (← links)