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

DOI10.1002/malq.200910129zbMath1238.03038arXiv0808.2960OpenAlexW1647584763MaRDI QIDQ3170555

Saharon 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

models of Peano arithmeticend extensionsconservative extensionsforcing with creatures

Mathematics Subject Classification ID

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

Related Items (3)

Model-theoretic applications of cofinality spectrum problems ⋮ Models of PA: Standard Systems without Minimal Ultrafilters ⋮ \(\mathrm{ZF}+\mathrm{DC}+\mathrm{AX}_4\)

Cites Work

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

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