On algebras of binary formulas for weakly circularly minimal theories of finite convexity rank
On algebras of binary formulas for weakly circularly minimal theories of finite convexity rank
Сибирские электронные математические известия, 22, 1, стр. 635-649 (2025)
Аннотация:
Algebras of binary isolating formulas are described for $\aleph_0$-categorical 1-transitive
non-primitive weakly circularly minimal theories of finite convexity rank with a trivial definable
closure having a monotonic-to-right function to the definable completion of a structure and
not having a non-trivial equivalence relation partitioning the universe of a structure into
finitely many convex classes.
Ключевые слова: algebra of binary formulas, weak circular minimality, $\aleph_0$-categorical theory, circularly ordered structure, convexity rank.