Pages that link to "Item:Q476119"
From MaRDI portal
The following pages link to Categorical characterizations of the natural numbers require primitive recursion (Q476119):
Displaying 7 items.
- Weaker cousins of Ramsey's theorem over a weak base theory (Q2231700) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- Interpreting Weak König’s Lemma using the Arithmetized Completeness Theorem (Q2814420) (← 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)
