The cumulative hierarchy and the constructible universe of ZFA

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

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

zbMATH Keywords

fixed pointconstructible universeZFAAnti-foundation

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Cited In (4)

• 2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07
• 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

   Recommendations

• A cumulative hierarchy of sets for constructive set theory 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 👍 👎
• Title not available (Why is that?) 👍 👎

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)