Pages that link to "Item:Q3619869"
From MaRDI portal
The following pages link to Determinacy of Wadge classes and subsystems of second order arithmetic (Q3619869):
Displaying 17 items.
- 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)
- Full and hat inductive definitions are equivalent in NBG (Q2257106) (← links)
- Elementary inductive dichotomy: separation of open and clopen determinacies with infinite alternatives (Q2285848) (← links)
- Fundamental notions of analysis in subsystems of second-order arithmetic (Q2368910) (← links)
- Necessary use of induction in a reversal (Q3011120) (← links)
- Open Questions in Reverse Mathematics (Q3174640) (← links)
- Weihrauch Degrees of Finding Equilibria in Sequential Games (Q3195703) (← links)
- TRANSFINITE RECURSION IN HIGHER REVERSE MATHEMATICS (Q3450810) (← links)
- Complete Determinacy and Subsystems of Second Order Arithmetic (Q3507462) (← links)
- TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THEORIES (Q4692077) (← links)
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)
- Infinite games in the Cantor space and subsystems of second order arithmetic (Q5293192) (← 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)
- FINITIST AXIOMATIC TRUTH (Q5879176) (← links)
- Lipschitz and Wadge binary games in second order arithmetic (Q6109090) (← links)
