c-Regular cyclically ordered groups

Gérard Leloup,Francois Lucas
DOI: https://doi.org/10.48550/arXiv.1312.5269
2013-12-18
Logic
Abstract:We define and we characterize regular and c-regular cyclically ordered abelian groups. We prove that every dense c-regular cyclically ordered abelian group is elementarily equivalent to some cyclically ordered group of unimodular complex numbers, that every discrete c-regular cyclically ordered abelian group is elementarily equivalent to some ultraproduct of finite cyclic groups, and that the discrete regular non-c-regular cyclically ordered abelian groups are elementarily equivalent to the linearly cyclically ordered group of integers.
What problem does this paper attempt to address?