Pages that link to "Item:Q2400502"
From MaRDI portal
The following pages link to Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502):
Displayed 6 items.
- Fixed points of self-embeddings of models of arithmetic (Q1709680) (← links)
- End extensions of models of fragments of \(\mathrm{PA}\) (Q2204367) (← links)
- Tanaka's theorem revisited (Q2204369) (← links)
- Algebraic combinatorics in bounded induction (Q2216029) (← links)
- Weaker cousins of Ramsey's theorem over a weak base theory (Q2231700) (← links)
- HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK? (Q6103456) (← links)