scientific article; zbMATH DE number 1302488

MaRDI QIDQ4247804zbMATH OpenFDO

Authors Ali Enayat

Publication date 9 January 2000

zbMATH Keywords

surveyconservative extensionend extensionminimal extensionPeano arithmetic PApower-like modelZermelo-Fraenkel set theory ZF

Mathematics Subject Classification ID

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

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

(9)

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

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)