Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}{\mathbb N}\end{document} with no end extensions

DOI10.1002/MALQ.200910129zbMATH Open1238.03038arXiv0808.2960OpenAlexW1647584763MaRDI QIDQ3170555FDOQ3170555

S. Shelah

Publication date: 27 September 2011

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Abstract: We deal with models of Peano arithmetic (specifically with a question of Ali Enayat). The methods are from creature forcing. We find an expansion of N such that its theory has models with no (elementary) end extensions. In fact there is a Borel uncountable set of subsets of N such that expanding N by any uncountably many of them suffice. Also we find arithmetically closed A with no definably closed ultrafilter on it.

Full work available at URL: https://arxiv.org/abs/0808.2960

Recommendations

• A standard model of Peano arithmetic with no conservative elementary extension
• Models of PA: Standard Systems without Minimal Ultrafilters
• scientific article; zbMATH DE number 4002096
• A note on end extensions
• End extensions of models of fragments of \(\mathrm{PA}\)
• On cofinal extensions of models of arithmetic
• Conservative extensions of models of set theory and generalizations
• End-extending models of $IΔ_0 + exp + ΒΣ_1$
• A note on a theorem of Kanovei
• scientific article; zbMATH DE number 3882429

zbMATH Keywords

end extensionsmodels of Peano arithmeticconservative extensionsforcing with creatures

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Models of arithmetic and set theory (03C62)

Cites Work

• Norms on possibilities. I. Forcing with trees and creatures
• The structure of models of Peano arithmetic
• Models with second order properties II. Trees with no undefined branches
• End extensions and numbers of countable models
• A standard model of Peano arithmetic with no conservative elementary extension
• A model of peano arithmetic with no elementary end extension
• Remarks on weak notions of saturation in models of Peano arithmetic

Cited In (5)

• Model-theoretic applications of cofinality spectrum problems
• Models of PA: Standard Systems without Minimal Ultrafilters
• CP‐generic expansions of models of Peano Arithmetic
• \(\mathrm{ZF}+\mathrm{DC}+\mathrm{AX}_4\)
• A standard model of Peano arithmetic with no conservative elementary extension

This page was built for publication: Models of expansions of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}${\mathbb N}$\end{document} with no end extensions

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