ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATION

We answer some questions about graphs that are reducts of countable models of Anti-Foundation, obtained by considering the binary relation of double-membership $x\in y\in x$ . We show that there are continuum-many such graphs, and study their connected components. We describe their complete theories...

Full description

Saved in:
Bibliographic Details
Published in:The bulletin of symbolic logic 2023-03, Vol.29 (1), p.128-144
Main Authors: ADAM-DAY, BEA, HOWE, JOHN, MENNUNI, ROSARIO
Format: Article
Language:English
Subjects:
Graphs
Set theory
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We answer some questions about graphs that are reducts of countable models of Anti-Foundation, obtained by considering the binary relation of double-membership $x\in y\in 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.
ISSN:1079-8986
1943-5894
DOI:10.1017/bsl.2022.37