Algebras of binary formulas for circularly ordered structures: piecewise monotonic case

Algebras of binary formulas for circularly ordered structures: piecewise monotonic case

Kulpeshov B. Sh.

УДК 510.67 
DOI: 10.33048/semi.2026.23.039  
MSC 03C64, 03C40, 03C45


Аннотация:

This article concerns the notion of weak circular minimality being a variant of o-minimality for circularly ordered structures. Algebras of binary isolating formulas are studied for $\aleph_0$-categorical 1-transitive non-primitive weakly circularly minimal theories of convexity rank greater than 1 with a trivial definable closure having a piecewise monotonic-to-left function to the definable completion of a structure. On the basis of the study, we present a description of these algebras. It is shown that for this case there exist only non-commutative algebras. A strict $s$-deterministicity of such algebras for some natural number $s$ is also established.

Ключевые слова: algebra of binary formulas, weak circular minimality, $\aleph_0$-categorical theory, circularly ordered structure, convexity rank.