Pages that link to "Item:Q2204367"
From MaRDI portal
The following pages link to End extensions of models of fragments of \(\mathrm{PA}\) (Q2204367):
Displaying 12 items.
- A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem (Q685067) (← links)
- A note on a theorem of Kanovei (Q701750) (← links)
- On two problems concerning end extensions (Q937209) (← links)
- End extensions of models of arithmetic (Q1203781) (← links)
- END-EXTENSIONS OF MODELS OF WEAK ARITHMETIC FROM COMPLEXITY-THEORETIC CONTAINMENTS (Q2976370) (← links)
- Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb N}$\end{document} with no end extensions (Q3170555) (← links)
- On \(\Sigma ^ 0_ 1\)-extensions of \(\omega\) (Q3216651) (← links)
- A note on the Mac Dowell-Specker theorem (Q3755453) (← links)
- End-extending models of $IΔ_0 + exp + ΒΣ_1$ (Q3971940) (← links)
- A note on the Joint Embedding Property in Fragments of Arithmetic (Q4024868) (← links)
- On Wilkie and Paris’s notion of fullness (Q4615032) (← links)
- On end extensions of models of subsystems of Peano arithmetic (Q5941254) (← links)
