In monadically stable relational structures, forking independence over a model is equivalent to flip independence: two elements are independent exactly when some flip separates them at every finite radius.
Do the same for each(M ¯y,S′)-class that is flipped
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Flipping and Forking
In monadically stable relational structures, forking independence over a model is equivalent to flip independence: two elements are independent exactly when some flip separates them at every finite radius.