Models of Second-Order Zermelo Set Theory

DOI10.2307/421182zbMath0939.03056OpenAlexW2145744300MaRDI QIDQ4940733

Gabriel Uzquiano

Publication date: 29 June 2000

Published in: 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)

Related Items (8)

LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS ⋮ The iterative conception of set. A (bi-)modal axiomatisation ⋮ Categoricity results for second-order ZF in dependent type theory ⋮ Iteration one more time ⋮ MODAL STRUCTURALISM AND REFLECTION ⋮ Categoricity results and large model constructions for second-order ZF in dependent type theory ⋮ Bad company generalized ⋮ Categoricity theorems and conceptions of set

Cites Work

• Unnamed Item
• Unnamed Item
• Set theory. An introduction to large cardinals
• Models of ZF-set theory
• A system of axiomatic set theory—Part VI
• A system of axiomatic set theory - Part VII

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