A model of peano arithmetic with no elementary end extension
From MaRDI portal
Publication:4168613
DOI10.2307/2273532zbMath0388.03029OpenAlexW1999763145MaRDI QIDQ4168613
Publication date: 1978
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273532
Related Items (4)
Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb N}$\end{document} with no end extensions ⋮ A standard model of Peano arithmetic with no conservative elementary extension ⋮ Ultrafilters and types on models of arithmetic ⋮ Minimal elementary extensions of models of set theory and arithmetic
Cites Work
This page was built for publication: A model of peano arithmetic with no elementary end extension