Pages that link to "Item:Q998319"
From MaRDI portal
The following pages link to A standard model of Peano arithmetic with no conservative elementary extension (Q998319):
Displaying 8 items.
- An improper arithmetically closed Borel subalgebra of \(\mathcal P(\omega)\) mod FIN (Q649610) (← links)
- Vive la différence. II: The Ax-Kochen isomorphism theorem (Q1320039) (← links)
- Destructibility and axiomatizability of Kaufmann models (Q2085581) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb N}$\end{document} with no end extensions (Q3170555) (← links)
- Proper and piecewise proper families of reals (Q3184219) (← links)
- A note on standard systems and ultrafilters (Q3617363) (← links)
- Models of PA: Standard Systems without Minimal Ultrafilters (Q5379655) (← links)
