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):
Displaying 17 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)
- A characterization of \(\Sigma_1^1\)-reflecting ordinals (Q2231693) (← links)
- Determinacy in third order arithmetic (Q2404651) (← links)
- Determinacy and monotone inductive definitions (Q2631880) (← 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)
- CALIBRATING DETERMINACY STRENGTH IN LEVELS OF THE BOREL HIERARCHY (Q4977218) (← links)
- Parallel Feedback Turing Computability (Q5283431) (← links)
- Δ<sub>3</sub><sup>O</sup>-determinacy, comprehension and induction (Q5294020) (← links)
- Open determinacy for class games (Q5351852) (← links)
- GAMES AND REFLECTION IN (Q5855749) (← links)
- Locally hyperarithmetical induction (Q6096755) (← links)
- Lipschitz and Wadge binary games in second order arithmetic (Q6109090) (← links)
