Zobrazeno 1 - 10
of 59
pro vyhledávání: '"Bélair, Luc"'
Autor:
Bélair, Luc, Point, Françoise
Given a dense additive subgroup $G$ of $\mathbb R$ containing $\mathbb Z$, we consider its intersection $\mathbb G$ with the interval $[0,1[$ with the induced order and the group structure given by addition modulo $1$. We axiomatize the theory of $\m
Externí odkaz:
http://arxiv.org/abs/1707.06143
Autor:
Bélair, Luc, Point, Françoise
We consider valued fields with a distinguished contractive map as valued modules over the Ore ring of difference operators. We prove quantifier elimination for separably closed valued fields with the Frobenius map, in the pure module language augment
Externí odkaz:
http://arxiv.org/abs/1405.1772
Autor:
Bélair, Luc, Point, Françoise
Publikováno v:
In Comptes rendus - Mathématique July 2016 354(7):645-648
Publikováno v:
In Comptes rendus - Mathématique March 2016 354(3):225-229
Autor:
BÉLAIR, LUC, POINT, FRANÇOISE
Publikováno v:
The Journal of Symbolic Logic, 2015 Dec 01. 80(4), 1315-1338.
Externí odkaz:
http://www.jstor.org/stable/43864487
Autor:
BÉLAIR, LUC, POINT, FRANÇOISE
Publikováno v:
The Journal of Symbolic Logic, 2012 Jun 01. 77(2), 727-728.
Externí odkaz:
http://dx.doi.org/10.2178/jsl/1333566649
Autor:
BÉLAIR, LUC, POINT, FRANÇOISE
Publikováno v:
The Journal of Symbolic Logic, 2010 Sep 01. 75(3), 1007-1034.
Externí odkaz:
https://www.jstor.org/stable/20799297
Publikováno v:
American Journal of Mathematics, 2007 Jun 01. 129(3), 665-721.
Externí odkaz:
https://www.jstor.org/stable/40068077
Autor:
Bélair, Luc
Publikováno v:
The Journal of Symbolic Logic, 1995 Jun 01. 60(2), 484-497.
Externí odkaz:
https://www.jstor.org/stable/2275843