1 citations · 2 across the 2 of their papers we have counts for
2 papers
math.LO2019★ 1 cited
On double-membership graphs of models of Anti-Foundation
Bea Adam-Day, John Howe, Rosario Mennuni
We answer some questions about graphs which are reducts of countable models of Anti-Foundation, obtained by considering the binary relation of double-membership . We s…
math.LO2017★ 1 cited
Undirecting membership in models of ZFA
Bea Adam-Day, Peter J. Cameron
It is known that, if we take a countable model of Zermelo--Fraenkel set theory ZFC and "undirect" the membership relation (that is, make a graph by joining to if either $x\…