2021/06/10 by Gérard Leloup, Leloup, Gérard
Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Rings and Algebras (math.RA) #Rings, Modules, and Algebras
paper · pdf · doi:10.48550/arxiv.2106.05570
openalex publication_date 2021/06/10 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We make available some results about model theory cyclically ordered groups. We start with a classification of complete theories of divisible abelian cyclically ordered groups. Then we look at the cyclically ordered groups where the only parametrically definable subsets are finite unions of singletons and open intervals, and those where the definable subsets are finite union of singletons and c-convex subsets, where being c-convex is the analogue of being convex in the linearly ordered case.