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 is an element of y is an element of 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.
On double-membership graphs of models of anti-foundation
MENNUNI, ROSARIO
2023-01-01
Abstract
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 is an element of y is an element of 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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Adam-Day et al. - 2023 - ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUN.pdf
accesso aperto
Tipologia:
Versione finale editoriale
Licenza:
Creative commons
Dimensione
353.18 kB
Formato
Adobe PDF
|
353.18 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
