Pages that link to "Item:Q3353013"
From MaRDI portal
The following pages link to Weak axioms of determinacy and subsystems of analysis I: δ20 games (Q3353013):
Displaying 21 items.
- Reverse mathematics and initial intervals (Q386152) (← links)
- The limits of determinacy in second order arithmetic: consistency and complexity strength (Q480816) (← links)
- The determinacy strength of \(\Pi_2^1\)-comprehension (Q636381) (← links)
- Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games) (Q805613) (← links)
- Determinacy of refinements to the difference hierarchy of co-analytic sets (Q1676330) (← links)
- Long Borel games (Q2048863) (← links)
- A Lipschitz determinacy principle equivalent to weak König lemma (Q2111115) (← links)
- A characterization of \(\Sigma_1^1\)-reflecting ordinals (Q2231693) (← links)
- Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives (Q2285848) (← 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)
- Δ<sub>3</sub><sup>O</sup>-determinacy, comprehension and induction (Q5294020) (← links)
- 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 (Q5305554) (← links)
- Open determinacy for class games (Q5351852) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)
- Locally hyperarithmetical induction (Q6096755) (← links)
- Lipschitz and Wadge binary games in second order arithmetic (Q6109090) (← links)
- Monotone versus non-monotone projective operators (Q6663909) (← links)
