A canonical form for supertransitive standard models in Zermelo-Fraenkel set theory

DOI10.1070/RM2003V058N04ABEH000646zbMATH Open1060.03057OpenAlexW2072503729MaRDI QIDQ4829632FDOQ4829632

Authors: E. I. Bunina, V. K. Zakharov 

Publication date: 29 November 2004

Published in: Russian Mathematical Surveys (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1070/rm2003v058n04abeh000646

Recommendations

• Characterization of model Mirimanov-von Neumann cumulative sets
• Formula-inaccessible cardinals and a characterization of all natural models of Zermelo-Fraenkel set theory
• scientific article; zbMATH DE number 4059386
• Slim models of Zermelo set theory
• Standard foundations for nonstandard analysis

zbMATH Keywords

models of ZFquasi-inaccessible cardinal numberssupertransitive universe

Mathematics Subject Classification ID

Ordinal and cardinal numbers (03E10) Models of arithmetic and set theory (03C62)

Cited In (4)

• Formula-inaccessible cardinals and a characterization of all natural models of Zermelo-Fraenkel set theory
• Unordered pairs in the set theory of Bourbaki 1949
• Characterization of model Mirimanov-von Neumann cumulative sets
• Canonical form of Tarski sets in Zermelo-Fraenkel set theory

This page was built for publication: A canonical form for supertransitive standard models in Zermelo-Fraenkel set theory

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