Models of Second-Order Zermelo Set Theory

DOI10.2307/421182MaRDI QIDQ4940733zbMATH OpenOpenAlexFDO

Authors Gabriel Uzquiano

Publication date 29 June 2000

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL http://www.math.ucla.edu/~asl/bsl/0503-toc.htm

zbMATH Keywords

replacementsecond-order set theorycumulative hierarchywell-founded modelaxioms of infinityZermelo's axioms

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Models of arithmetic and set theory (03C62)

Recommendations

• Slim models of Zermelo set theory
• An ω-hierarchy of axiom systemZF
• Cumulative Higher-Order Logic as a Foundation for Set Theory
• scientific article; zbMATH DE number 3916259
• scientific article; zbMATH DE number 5778053

Cites work

• scientific article; zbMATH DE number 3627183 (Why is no real title available?)
• scientific article; zbMATH DE number 542031 (Why is no real title available?)
• A system of axiomatic set theory - Part VII
• A system of axiomatic set theory—Part VI
• Models of ZF-set theory
• Set theory. An introduction to large cardinals

Cited in

(13)

• Categoricity results and large model constructions for second-order ZF in dependent type theory
• Categoricity results for second-order ZF in dependent type theory
• scientific article; zbMATH DE number 4185594 (Why is no real title available?)
• Categoricity theorems and conceptions of set
• Iteration one more time
• LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS
• Slim models of Zermelo set theory
• Iteration and dependence again
• Models of \textsf{ZFA} in which every linearly ordered set can be well ordered
• Bad company generalized
• scientific article; zbMATH DE number 3916259 (Why is no real title available?)
• MODAL STRUCTURALISM AND REFLECTION
• The iterative conception of set. A (bi-)modal axiomatisation

This page was built for publication: Models of Second-Order Zermelo Set Theory

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