ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATION

DOI10.1017/BSL.2022.37MaRDI QIDQ5884258zbMATH OpenOpenAlexFDO

Authors Bea Adam-Day, Rosario Mennuni

Publication date 20 March 2023

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

Anti-Foundationdouble-membership graphGaifman's theoremHanf's theoremmembership graphnon-well-founded setsreducts of set theory

Mathematics Subject Classification ID

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

Cites work

• Comparison of the axioms of local and universal choice
• Forcing with the anti-foundation axiom
• scientific article; zbMATH DE number 3146056 (Why is no real title available?)
• scientific article; zbMATH DE number 3859115 (Why is no real title available?)
• scientific article; zbMATH DE number 42735 (Why is no real title available?)
• scientific article; zbMATH DE number 44058 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 952378 (Why is no real title available?)
• scientific article; zbMATH DE number 803291 (Why is no real title available?)
• Self-reference and modal logic
• Set theory. An introduction to independence proofs
• The cumulative hierarchy and the constructible universe of ZFA
• Undirecting membership in models of anti-foundation

Cited in

(1)

• On double-membership graphs of models of Anti-Foundation

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

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