2 citations · 3 across the 3 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
math.LO2013★ 2 cited
c-Regular cyclically ordered groups
Gérard Leloup, Francois Lucas
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 equivale…
math.LO2013
First order theory of cyclically ordered groups
Michèle Giraudet, Gérard Leloup, Francois Lucas
By a result known as Rieger's theorem (1956), there is a one-to-one correspondence, assigning to each cyclically ordered group a pair where is a totally ordered gro…