Pages that link to "Item:Q5293192"
From MaRDI portal
The following pages link to Infinite games in the Cantor space and subsystems of second order arithmetic (Q5293192):
Displaying 13 items.
- Infinite games specified by 2-tape automata (Q324245) (← links)
- The limits of determinacy in second order arithmetic: consistency and complexity strength (Q480816) (← links)
- Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games) (Q805613) (← links)
- A Lipschitz determinacy principle equivalent to weak König lemma (Q2111115) (← 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)
- Reverse Mathematics: The Playground of Logic (Q3163663) (← links)
- Open Questions in Reverse Mathematics (Q3174640) (← links)
- Weihrauch Degrees of Finding Equilibria in Sequential Games (Q3195703) (← 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)
- Lipschitz and Wadge binary games in second order arithmetic (Q6109090) (← links)
