Double-membership graphs of countable models of Anti-Foundation come in continuum-many isomorphism types, and their complete theories are classified by collections of consistency statements.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2019 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
On double-membership graphs of models of Anti-Foundation
Double-membership graphs of countable models of Anti-Foundation come in continuum-many isomorphism types, and their complete theories are classified by collections of consistency statements.