Forcing with the Anti-Foundation axiom

DOI10.1002/malq.201020079zbMath1250.03101OpenAlexW2088182113WikidataQ114018692 ScholiaQ114018692MaRDI QIDQ3117780

Olivier Esser

Publication date: 29 February 2012

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

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

zbMATH Keywords

forcinganti-foundation

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (1)

ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATION

Cites Work

• The consistency problem for positive comprehension principles
• Forcing under Anti‐Foundation Axiom: An expression of the stalks
• Unnamed Item
• Unnamed Item

This page was built for publication: Forcing with the Anti-Foundation axiom