Pages that link to "Item:Q286696"
From MaRDI portal
The following pages link to End extensions of models of weak arithmetic theories (Q286696):
Displaying 6 items.
- On cofinal extensions of models of fragments of arithmetic (Q1182708) (← links)
- End extensions of models of fragments of \(\mathrm{PA}\) (Q2204367) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- On cofinal extensions of models of arithmetic (Q3322105) (← links)
- On expandability of models of arithmetic and set theory to models of weak second-order theories (Q3344187) (← links)
- MARGINALIA ON A THEOREM OF WOODIN (Q5738208) (← links)
