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.2960MaRDI 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 arithmetic; end extensions; conservative extensions; forcing with creatures

Mathematics Subject Classification ID

03E35: Consistency and independence results

03C62: Models of arithmetic and set theory

03E40: Other aspects of forcing and Boolean-valued models