scientific article; zbMATH DE number 1302488

MaRDI QIDQ4247804zbMATH OpenFDO

Authors Ali Enayat

Publication date 9 January 2000

zbMATH Keywords

conservative extensionend extensionminimal extensionPeano arithmetic PApower-like modelsurveyZermelo-Fraenkel set theory ZF

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Consistency and independence results (03E35) First-order arithmetic and fragments (03F30)

Review text

This paper is a survey of results in the comparative model theory of Peano arithmetic PA and Zermelo-Fraenkel set theory ZF focusing on variants of the MacDowell-Specker-Gaifman-Phillips theorem about end extensions of models of PA and on variants of a corollary of the theorem about power-like models of PA. Variants are considered for models of set theory: end extensions, conservative extensions, minimal extensions, and power-like models, often with the help of large cardinal axioms. Some open questions are posed, too. For the entire collection see [Zbl 0905.00049].

Recommendations

• A note on the Mac Dowell-Specker theorem
• On end extensions of models of subsystems of Peano arithmetic
• End extensions of models of arithmetic

Cited in

(10)

• Destructibility and axiomatizability of Kaufmann models
• On the universal completion of pointfree function spaces
• Free Boolean topological groups
• A fan-theoretic equivalent of the antithesis of Specker's theorem
• scientific article; zbMATH DE number 6386979 (Why is no real title available?)
• The nonexistence of extremally disconnected free topological groups
• End-extensions preserving power set
• A generalization of the Keisler‐Morley theorem to recursively saturated ordered structures
• On end extensions of models of subsystems of Peano arithmetic
• The strength of Mac Lane set theory

This page was built for publication:

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