A standard model of Peano arithmetic with no conservative elementary extension

DOI10.1016/J.APAL.2008.07.005MaRDI QIDQ998319zbMATH OpenOpenAlexFDO

Authors Ali Enayat

Publication date 28 January 2009

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2008.07.005

zbMATH Keywords

Peano arithmeticconservative extensionsecond-order arithmeticproper forcingelementary end extensions

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Set-theoretic model theory (03C55) Second- and higher-order arithmetic and fragments (03F35) Interpolation, preservation, definability (03C40) Models of arithmetic and set theory (03C62)

Recommendations

• Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb N}$\end{document} with no end extensions
• A note on a theorem of Kanovei
• Enayat models of Peano arithmetic
• End extensions of models of arithmetic
• Models of PA: Standard Systems without Minimal Ultrafilters

Cites work

• scientific article; zbMATH DE number 3882428 (Why is no real title available?)
• scientific article; zbMATH DE number 3652325 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 3504970 (Why is no real title available?)
• scientific article; zbMATH DE number 3566838 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 1113072 (Why is no real title available?)
• scientific article; zbMATH DE number 3316918 (Why is no real title available?)
• A model of peano arithmetic with no elementary end extension
• An improper arithmetically closed Borel subalgebra of \(\mathcal P(\omega)\) mod FIN
• Conservative extensions of models of arithmetic
• Definability of measures and ultrafilters
• Elementary extensions of models of set theory
• Embedding Trees in the Rationals
• From bounded arithmetic to second order arithmetic via automorphisms
• Logic with the quantifier “there exist uncountably many”
• Model theory
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Models and types of Peano's arithmetic
• Models of arithmetic and closed ideals
• Models with second order properties II. Trees with no undefined branches
• Multiple Forcing
• On the elementary equivalence of automorphism groups of Boolean algebras; downward Skolem Löwenheim theorems and compactness of related quantifiers
• Scott's problem for Proper Scott sets
• Set theory. An introduction to independence proofs
• The structure of models of Peano arithmetic
• Ultrafilters and types on models of arithmetic

Cited in

(12)

• Proper and piecewise proper families of reals
• Destructibility and axiomatizability of Kaufmann models
• Enayat models of Peano arithmetic
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
• A note on standard systems and ultrafilters
• Scott's problem for Proper Scott sets
• Vive la différence. II: The Ax-Kochen isomorphism theorem
• Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb N}$\end{document} with no end extensions
• Illusory models of Peano arithmetic
• scientific article; zbMATH DE number 3882428 (Why is no real title available?)
• An improper arithmetically closed Borel subalgebra of \(\mathcal P(\omega)\) mod FIN
• Models of PA: Standard Systems without Minimal Ultrafilters

This page was built for publication: A standard model of Peano arithmetic with no conservative elementary extension

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q998319)