Pages that link to "Item:Q5941254"
From MaRDI portal
The following pages link to On end extensions of models of subsystems of Peano arithmetic (Q5941254):
Displaying 5 items.
- A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem (Q685067) (← links)
- On two problems concerning end extensions (Q937209) (← links)
- End extensions of models of arithmetic (Q1203781) (← links)
- End extensions of models of fragments of \(\mathrm{PA}\) (Q2204367) (← links)
- Algebraic combinatorics in bounded induction (Q2216029) (← links)