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

DOI10.1002/MALQ.200910129MaRDI QIDQ3170555zbMATH OpenOpenAlexFDO

Authors S. Shelah

Publication date 27 September 2011

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

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

zbMATH Keywords

conservative extensionsend extensionsforcing with creaturesmodels of Peano arithmetic

Mathematics Subject Classification ID

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

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.

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

Cites work

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

Cited in

(6)

• Model-theoretic applications of cofinality spectrum problems
• Enayat models of Peano arithmetic
• Models of PA: Standard Systems without Minimal Ultrafilters
• \(\mathrm{ZF}+\mathrm{DC}+\mathrm{AX}_4\)
• CP‐generic expansions of models of Peano Arithmetic
• 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)