MODNET
Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1999

Preprint Number 1999

Previous Next Preprint server


1999. Gérard Leloup (LMM)
Model theory of divisible abelian cyclically ordered groups and minimal C. O. G.
E-mail:

Submission date: 10 June 2021

Abstract:

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. Most of this paper is dedicated to the study of the model theory of torsion-free divisible abelian cyclically ordered groups, since we first show that the theory of divisible abelian cyclically ordered groups with non-trivial torsion elements is complete. 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.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 2106.05570: pdf, ps.


Last updated: June 15 2021 16:53 Please send your corrections to: