Pages that link to "Item:Q3011112"
From MaRDI portal
The following pages link to Weak systems of determinacy and arithmetical quasi-inductive definitions (Q3011112):
Displaying 16 items.
- The limits of determinacy in second order arithmetic: consistency and complexity strength (Q480816) (← links)
- Comparing inductive and circular definitions: Parameters, complexity and games (Q817681) (← links)
- Determinacy of refinements to the difference hierarchy of co-analytic sets (Q1676330) (← links)
- Long Borel games (Q2048863) (← links)
- Determinacy in third order arithmetic (Q2404651) (← links)
- Determinacy and monotone inductive definitions (Q2631880) (← links)
- 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106) (← links)
- A Generalised Dynamical System, Infinite Time Register Machines, and $\Pi^1_1$ -CA0 (Q3091451) (← links)
- Complete Determinacy and Subsystems of Second Order Arithmetic (Q3507462) (← links)
- ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS (Q4579812) (← links)
- THE RAMIFIED ANALYTICAL HIERARCHY USING EXTENDED LOGICS (Q4961868) (← links)
- CALIBRATING DETERMINACY STRENGTH IN LEVELS OF THE BOREL HIERARCHY (Q4977218) (← links)
- GAMES AND INDUCTION ON REALS (Q5021933) (← links)
- Infinite games in the Cantor space and subsystems of second order arithmetic (Q5293192) (← links)
- Open determinacy for class games (Q5351852) (← links)
- Locally hyperarithmetical induction (Q6096755) (← links)
