The following pages link to (Q5222077):
Displaying 7 items.
- Categorical characterizations of the natural numbers require primitive recursion (Q476119) (← links)
- Fixed points of self-embeddings of models of arithmetic (Q1709680) (← links)
- A new proof of the McKinsey-Tarski theorem (Q1756601) (← links)
- Tanaka's theorem revisited (Q2204369) (← links)
- A new approach to Matsumoto's theorem (Q2277567) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- (Q3990595) (← links)
