3 citations · 5 across the 3 of their papers we have counts for
5 papers
Model theory of divisible abelian cyclically ordered groups and minimal C. O. G
Gérard Leloup
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. The…
Mv-algebras And Partially Cyclically Ordered Groups
Gérard Leloup
We prove that there exists a functorial correspondence between MV-algebras and partially cyclically ordered groups which are wound round of lattice-ordered groups. It follows that…
Key polynomials, separate and immediate valuations, and simple extensions of valued fields
Gérard Leloup
We give a first-order definition of key polynomials, we show the links with previous definitions, that it is relevant to study key degrees, and to use a kind of valuations that we…
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…
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…