Algebras of binary formulas for ℵ0-categorical weakly circularly minimal theories: monotonic case

BULLETIN OF THE KARAGANDA UNIVERSITY-MATHEMATICS, 2024

Full text Open access: Gold Metadata (CSL-JSON)
DOI 10.31489/2024m1/112-127
Data confidence 70 medium
How this score is calculated

It is built from checkable properties of the record itself: whether the article has a DOI, how many independent sources confirmed its data, whether the required fields are filled in, and how recent the latest confirmation is. Disagreement between sources and a missing identifier lower it. A value of 80 or above means the record was published without further checking; 60 to 79 means it is published at reduced confidence, with a manual check advisable. A record verified by an editor by hand is never pushed below 90 by a recalculation. This scores our data about the article, not the article itself.

Abstract

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 countably categorical weakly circularly minimal theories of convexity rank greater than 1 having both a 1-transitive non-primitive automorphism group and a non-trivial strictly monotonic function acting on the universe of a structure. On the basis of the study, the authors present a description of these algebras. It is shown that there exist both commutative and non-commutative algebras among these ones. A strict m-deterministicity of such algebras for some natural number m is also established.