Algebras of binary formulas for weakly circularly minimal theories with equivalence relations

B. Sh. Kulpeshov<sup>ab

a</sup> Kazakh-British Technical University, 59 Tole bi St, 050000, Almaty, Republic of Kazakhstan
^b Institute of Mathematics and Mathematical Modeling, 28 Shevchenko St, 050010, Almaty, Republic of Kazakhstan

Abstract: Algebras of binary isolating formulas are described for $\aleph_0$-categorical $1$-transitive non-primitive weakly circularly minimal theories of convexity rank greater than $1$ with a trivial de nable closure, having only equivalence relations.

Keywords and phrases: algebra of binary formulas, $\aleph_0$-categorical theory, weak circular minimality, circularly ordered structure, convexity rank.

MSC: 03C64, 03C07, 03C40

Received: 12.05.2024

Language: English

DOI: 10.32523/2077-9879-2025-16-3-42-56