The following pages link to (Q3671967):
Displaying 24 items.
- Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games) (Q805613) (← links)
- Weak comparability of well orderings and reverse mathematics (Q918549) (← links)
- A dual form of Ramsey's theorem (Q1057862) (← links)
- Countable algebra and set existence axioms (Q1063593) (← links)
- The Galvin-Prikry theorem and set existence axioms (Q1117221) (← links)
- What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory (Q1182475) (← links)
- Borel quasi-orderings in subsystems of second-order arithmetic (Q1182484) (← links)
- Analyzing Nash-Williams' partition theorem by means of ordinal types (Q1191918) (← links)
- Fast growing functions based on Ramsey theorems (Q1191932) (← links)
- Riesz representation theorem, Borel measures and subsystems of second- order arithmetic (Q1208086) (← links)
- Some combinatorial principles equivalent to restrictions of transfinite induction up to \(\Gamma _ 0\) (Q1262308) (← links)
- Which set existence axioms are needed to prove the separable Hahn-Banach theorem? (Q1820779) (← links)
- Levels of truth (Q1903585) (← links)
- Connected components of graphs and reverse mathematics (Q2277258) (← links)
- The strength of infinitary Ramseyan principles can be accessed by their densities (Q2358627) (← links)
- More on lower bounds for partitioning \(\alpha\)-large sets (Q2373693) (← links)
- Strong WQO Tree Theorems (Q3295147) (← links)
- The Operational Perspective: Three Routes (Q3305557) (← links)
- Fraïssé’s conjecture in Π11-comprehension (Q4596662) (← links)
- (Q5101339) (← links)
- Universes in explicit mathematics (Q5939842) (← links)
- Generalized fusible numbers and their ordinals (Q6050166) (← links)
- The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem (Q6119673) (← links)
- Some set-theoretic reduction principles (Q6612880) (← links)