Pages that link to "Item:Q4168613"
From MaRDI portal
The following pages link to A model of peano arithmetic with no elementary end extension (Q4168613):
Displaying 4 items.
- Minimal elementary extensions of models of set theory and arithmetic (Q810502) (← links)
- A standard model of Peano arithmetic with no conservative elementary extension (Q998319) (← links)
- Ultrafilters and types on models of arithmetic (Q1058509) (← links)
- Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb N}$\end{document} with no end extensions (Q3170555) (← links)