Abstract:
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.