Pages that link to "Item:Q1935867"
From MaRDI portal
The following pages link to Reverse mathematics and Peano categoricity (Q1935867):
Displayed 11 items.
- Reverse mathematical bounds for the termination theorem (Q324248) (← links)
- Categorical characterizations of the natural numbers require primitive recursion (Q476119) (← links)
- Weaker cousins of Ramsey's theorem over a weak base theory (Q2231700) (← links)
- Internal categoricity in arithmetic and set theory (Q2345394) (← links)
- Baire categoricity and \(\Sigma_1^0\)-induction (Q2443120) (← links)
- On the strength of Ramsey's theorem without Σ<sub>1</sub>‐induction (Q4915224) (← 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)
- Internal categoricity, truth and determinacy (Q6054059) (← links)
- HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK? (Q6103456) (← links)