Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Leloup, Gérard"'
Autor:
Leloup, Gérard
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. Then we look at the cyclically ordered groups where the only parametrical
Externí odkaz:
http://arxiv.org/abs/2106.05570
Autor:
Leloup, Gérard
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 some results about cyclically ordered groups can be stated in terms of
Externí odkaz:
http://arxiv.org/abs/1902.04839
Autor:
Leloup, Gérard
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 call partially multiplicative. We also prove or reprove several proper
Externí odkaz:
http://arxiv.org/abs/1809.07092
Autor:
Leloup, Gérard, Lucas, Francois
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, tha
Externí odkaz:
http://arxiv.org/abs/1312.5269
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 su
Externí odkaz:
http://arxiv.org/abs/1311.0499
Autor:
Leloup, Gérard1 (AUTHOR) gerard.leloup@univ-lemans.fr
Publikováno v:
Mathematical Logic Quarterly. Dec2019, Vol. 65 Issue 4, p412-443. 32p.
Autor:
Leloup, Gérard
Publikováno v:
The Journal of Symbolic Logic, 1990 Mar 01. 55(1), 323-339.
Externí odkaz:
https://www.jstor.org/stable/2274971
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.