Models of PA: Standard Systems without Minimal Ultrafilters

zbMath1424.03018arXiv0901.1499MaRDI QIDQ5379655

Saharon Shelah

Publication date: 13 June 2019

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

zbMATH Keywords

forcing; model theory; Peano arithmetic; minimal ultrafilter; set theoretic model theory

Mathematics Subject Classification ID

03C62: Models of arithmetic and set theory

03C50: Models with special properties (saturated, rigid, etc.)

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

03C55: Set-theoretic model theory