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)

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)