Pages that link to "Item:Q3116522"
From MaRDI portal
The following pages link to The limits of determinacy in second-order arithmetic (Q3116522):
Displaying 22 items.
- The limits of determinacy in second order arithmetic: consistency and complexity strength (Q480816) (← links)
- Determinacy of refinements to the difference hierarchy of co-analytic sets (Q1676330) (← links)
- Galvin's ``racing pawns'' game, internal hyperarithmetic comprehension, and the law of excluded middle (Q1949169) (← links)
- Reverse mathematics of topology: dimension, paracompactness, and splittings (Q1981984) (← links)
- Long Borel games (Q2048863) (← links)
- A Lipschitz determinacy principle equivalent to weak König lemma (Q2111115) (← links)
- Splittings and disjunctions in reverse mathematics (Q2176407) (← links)
- Determinacy separations for class games (Q2312093) (← links)
- The strength of compactness in computability theory and nonstandard analysis (Q2326415) (← links)
- Determinacy in third order arithmetic (Q2404651) (← links)
- Determinacy and monotone inductive definitions (Q2631880) (← links)
- Determinacy of adversarial Gowers games (Q3188941) (← links)
- Weihrauch Degrees of Finding Equilibria in Sequential Games (Q3195703) (← links)
- TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THEORIES (Q4692077) (← links)
- CALIBRATING DETERMINACY STRENGTH IN LEVELS OF THE BOREL HIERARCHY (Q4977218) (← links)
- Nets and reverse mathematics (Q4995602) (← links)
- VARIATIONS ON DETERMINACY AND <i>ℵ</i><sub><i>ω</i><sub>1</sub></sub> (Q5082061) (← links)
- THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC (Q5274882) (← links)
- Open determinacy for class games (Q5351852) (← links)
- Lipschitz and Wadge binary games in second order arithmetic (Q6109090) (← links)
- The Π21$\Pi ^1_2$ consequences of a theory (Q6176438) (← links)
- On the logical and computational properties of the Vitali covering theorem (Q6614040) (← links)
