The cumulative hierarchy and the constructible universe of ZFA

DOI10.1002/MALQ.200310080zbMATH Open1035.03029OpenAlexW2019760148MaRDI QIDQ4458705FDOQ4458705

Authors: Matteo Viale 

Publication date: 15 March 2004

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200310080

Recommendations

• A cumulative hierarchy of sets for constructive set theory
• scientific article; zbMATH DE number 5635093
• An ω-hierarchy of axiom systemZF
• Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
• Realizability for constructive Zermelo-Fraenkel set theory
• Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
• A hierarchy of axiom systemZF
• ZF and the axiom of choice in some paraconsistent set theories
• Lifting proof theory to the countable ordinals: Zermelo-Fraenkel set theory
• On logical notions in the Fraenkel-Mostowski cumulative universe

zbMATH Keywords

fixed pointconstructible universeZFAAnti-foundation

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Cited In (5)

• 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07
• Operating on the universe
• ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATION
• Largest fixed points of set continuous operators and Boffa's Anti-Foundation
• Implementing fragments of ZFC within an r.e. Universe

This page was built for publication: The cumulative hierarchy and the constructible universe of ZFA

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