Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
8904271 | Annals of Pure and Applied Logic | 2018 | 32 Pages |
Abstract
By a result known as Rieger's theorem (1956), there is a one-to-one correspondence, assigning to each cyclically ordered group H a pair (G,z) where G is a totally ordered group and z is an element in the center of G, generating a cofinal subgroup ãzã of G, and such that the cyclically ordered quotient group G/ãzã is isomorphic to H. We first establish that, in this correspondence, the first-order theory of the cyclically ordered group H is uniquely determined by the first-order theory of the pair (G,z). Then we prove that the class of cyclically orderable groups is an elementary class and give an axiom system for it. Finally we show that, in contrast to the fact that all theories of totally ordered Abelian groups have the same universal part, there are uncountably many universal theories of Abelian cyclically ordered groups.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
M. Giraudet, G. Leloup, F. Lucas,