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
Siberian Electronic Mathematical Reports, 22, 1, pp. 635-649 (2025)
Abstract:
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.
Keywords: algebra of binary formulas, weak circular minimality, $\aleph_0$-categorical theory, circularly ordered structure, convexity rank.