Algebras of Binary Formulas for Weakly Circularly Minimal Theories with Non-Trivial Definable Closure
B. Sh. Kulpeshov, Sergey Vladimirovich Sudoplatov · Lobachevskii Journal of Mathematics · 2022
Abstract Algebras of binary isolating formulas are described for countably categorical weakly circularly minimal theories of convexity rank 1 with a 1-transitive non-primitive automorphism group and a non-trivial definable closure. A criterion for commutativity of such algebras is found.