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 $x\in y\in x$. We s…