Publications > Preprint server > Preprint Number 1635
Preprint Number 1635
1635. Bea Adam-Day, John Howe, and Rosario Mennuni
On double-membership graphs of models of Anti-Foundation
Submission date: 8 August 2019
We answer some questions about graphs which are reducts of countable models of Anti-Foundation, obtained by considering the binary relation of double-membership x∈y∈x. We show that there are continuum-many such graphs, and study their connected components. We describe their complete theories and prove that each has continuum-many countable models, some of which are not reducts of models of Anti-Foundation.
Mathematics Subject Classification: 03C62 (Primary) 03C13, 03E30, 03E65 (Secondary)
Keywords and phrases: Anti-Foundation, double-membership graph, Gaifman's Theorem, Hanf's Theorem, membership graph, non-well- founded sets, reducts of set theory.
|Last updated: August 30 2019 11:49||Please send your corrections to:|