scientific article; zbMATH DE number 4185594

MaRDI QIDQ5750853zbMATH OpenFDO

Authors Yoshimi Yonezawa

Publication date 1990

zbMATH Keywords

Collectionforcingproper classsymmetric extensiontransitive modelZF minus the Power Set Axiom

Mathematics Subject Classification ID

Axiomatics of classical set theory and its fragments (03E30) Consistency and independence results (03E35)

Recommendations

• Symmetric models, singular cardinal patterns, and indiscernibles
• Borel reducibility and symmetric models
• Symmetry and the union of saturated models in superstable abstract elementary classes
• Models of Second-Order Zermelo Set Theory
• Perfect set properties in models of ZF
• M-set models
• Slim models of Zermelo set theory
• Model theory of the regularity and reflection schemes
• Groupoids, hypergraphs, and symmetries in finite models
• -models of finite set theory

Cited in

(5)

• A model of \(\mathsf {ZFA}+ \mathsf {PAC}\) with no outer model of \(\mathsf {ZFAC}\) with the same pure part
• Non-classical models of \(\mathsf{ZF}\)
• Bases of ZF0-models
• Iterating symmetric extensions
• scientific article; zbMATH DE number 922633 (Why is no real title available?)

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 Q5750853)