A model of peano arithmetic with no elementary end extension
From MaRDI portal
Publication:4168613
DOI10.2307/2273532zbMath0388.03029MaRDI 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
Minimal elementary extensions of models of set theory and arithmetic, A standard model of Peano arithmetic with no conservative elementary extension, Ultrafilters and types on models of arithmetic, Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb N}$\end{document} with no end extensions
Cites Work