ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATION

DOI10.1017/bsl.2022.37OpenAlexW2965658085MaRDI QIDQ5884258

Unnamed Author, Bea Adam-Day, Rosario Mennuni

Publication date: 20 March 2023

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1908.02708

zbMATH Keywords

non-well-founded setsGaifman's theoremAnti-Foundationdouble-membership graphHanf's theoremmembership graphreducts of set theory

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Axiomatics of classical set theory and its fragments (03E30) Models of arithmetic and set theory (03C62) Other set-theoretic hypotheses and axioms (03E65)

Cites Work

• Self-reference and modal logic
• Set theory. An introduction to independence proofs
• Undirecting membership in models of anti-foundation
• Forcing with the Anti-Foundation axiom
• The cumulative hierarchy and the constructible universe of ZFA
• Comparison of the axioms of local and universal choice
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATION