Algebras of Binary Formulas for Weakly Circularly Minimal Theories with Non-Trivial Definable Closure

Algebras of binary isolating formulas are described for countably categorical weakly circularly minimal theories of convexity rank 1 with a 1-transitive non-primitive automorphism group and a non-trivial definable closure. A criterion for commutativity of such algebras is found.

Saved in:
Bibliographic Details
Published in:Lobachevskii journal of mathematics 2022-12, Vol.43 (12), p.3532-3540
Main Authors: Kulpeshov, B. Sh, Sudoplatov, S. V.
Format: Article
Language:English
Subjects:
Algebra
Analysis
Automorphisms
Commutativity
Convexity
Geometry
Mathematical Logic and Foundations
Mathematics
Mathematics and Statistics
Probability Theory and Stochastic Processes
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Algebras of binary isolating formulas are described for countably categorical weakly circularly minimal theories of convexity rank 1 with a 1-transitive non-primitive automorphism group and a non-trivial definable closure. A criterion for commutativity of such algebras is found.
ISSN:1995-0802
1818-9962
DOI:10.1134/S199508022215015X