We describe the algebras of binary formulas for countably categorical weakly circularly minimal theories with 1-transitive nonprimitive automorphism group and trivial definable closure having convexity rank 1. We find some criterion for commutativity of the algebras.

中文翻译：

---

具有平凡可定义闭包的弱循环极小理论的二元公式代数

我们描述了具有 1-传递非本原自同构群和凸性阶为 1 的平凡可定义闭包的可数范畴弱循环极小理论的二元公式的代数。我们找到了代数交换性的一些准则。