Аннотация:
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.
Ключевые слова и фразы:
algebra of binary formulas, $\aleph_0$-categorical theory, weak circular minimality, circularly ordered structure, convexity rank.
Полный текст:
PDF файл (390 kB)