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

DOI10.1070/RM2003V058N04ABEH000646MaRDI QIDQ4829632zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(4)

• Characterization of model Mirimanov-von Neumann cumulative sets
• Formula-inaccessible cardinals and a characterization of all natural models of Zermelo-Fraenkel set theory
• Unordered pairs in the set theory of Bourbaki 1949
• 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)