Algebras of Binary Formulas for Weakly Circularly Minimal Theories with Trivial Definable Closure
摘要
We describe the algebras of binary formulas forcountably categorical weakly circularly minimal theories with 1-transitive nonprimitiveautomorphism group and trivial definable closurehaving convexity rank 1. We find some criterion for commutativity of the algebras.