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

axioms of infinitycumulative hierarchyreplacementsecond-order set theorywell-founded modelZermelo's axioms

Mathematics Subject Classification ID

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

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

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

Cited in

(13)

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

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)