A standard model of Peano arithmetic with no conservative elementary extension

DOI10.1016/J.APAL.2008.07.005zbMATH Open1156.03035OpenAlexW2091858051MaRDI QIDQ998319FDOQ998319

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

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

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)

Cites Work

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

Cited In (9)

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

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)