Pages that link to "Item:Q4915224"
From MaRDI portal
The following pages link to On the strength of Ramsey's theorem without Σ<sub>1</sub>‐induction (Q4915224):
Displaying 11 items.
- Nonstandard second-order arithmetic and Riemann's mapping theorem (Q386626) (← links)
- The proof-theoretic strength of Ramsey's theorem for pairs and two colors (Q1644984) (← links)
- In search of the first-order part of Ramsey's theorem for pairs (Q2117792) (← links)
- Algebraic combinatorics in bounded induction (Q2216029) (← links)
- Weaker cousins of Ramsey's theorem over a weak base theory (Q2231700) (← links)
- Baire categoricity and \(\Sigma_1^0\)-induction (Q2443120) (← links)
- THE BOREL COMPLEXITY OF ISOMORPHISM FOR O-MINIMAL THEORIES (Q4977215) (← links)
- REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION (Q4977220) (← links)
- Primitive recursive reverse mathematics (Q6050165) (← links)
- HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK? (Q6103456) (← links)
- The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem (Q6119673) (← links)
