Zobrazeno 1 - 10
of 24
pro vyhledávání: '"Luc Bélair"'
Autor:
Luc Bélair, Bruno Poizat
Marc Krasner (1912-1985) est un des mathématiciens les plus originaux de sa génération. Il fut l'un des premiers jeunes chercheurs du CNRS, lors de sa création en France à la fin des années trente. En algèbre, sa formule pour le nombre des ext
Autor:
Luc Bélair, Françoise Point
Publikováno v:
Comptes Rendus Mathematique. 354:645-648
Le groupe des decimales avec l'addition modulo 1 et l'ordre naturel, qui n'est pas un groupe ordonne au sens habituel, est utilise pour ameliorer l'efficacite des automates temporels ([1]). Dans cette note, on donne une axiomatisation de cette struct
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8fd91580f8b79245094029183afde29b
https://doi.org/10.1016/j.crma.2016.04.009
https://doi.org/10.1016/j.crma.2016.04.009
Publikováno v:
Comptes Rendus Mathematique. 354:225-229
Soit l'alphabet donne par un corps fini F, nous montrons que les langages omega-reconnaissables de mots infinis correspondent exactement aux ensembles definissables dans le groupe additif des series formelles sur F muni de predicats naturels. En part
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6f139cdcc34265b4c97afaf6393beb62
https://doi.org/10.1016/j.crma.2015.12.015
https://doi.org/10.1016/j.crma.2015.12.015
Autor:
Luc Bélair, Françoise Point
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 theor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8e82e83890ea24bb2d2dac5cda1a3d29
http://arxiv.org/abs/1707.06143
http://arxiv.org/abs/1707.06143
Autor:
Luc Bélair
Publikováno v:
Journal of Algebra. 321:2353-2364
We prove an approximation property for solutions to difference equations in excellent discrete valuation rings satisfying an appropriate Hensel's lemma, analog to a theorem of Greenberg [M. Greenberg, Rational points in henselian discrete valuation r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::edde516cbad72036320e490f0fe0c1ed
https://doi.org/10.1016/j.jalgebra.2009.01.021
https://doi.org/10.1016/j.jalgebra.2009.01.021
Autor:
Françoise Point, Luc Bélair
Publikováno v:
Comptes Rendus Mathematique. 346:703-706
We prove quantifier elimination in Witt vectors over an algebraically closed fields (or in power series), considered as a valued module over the Ore ring of Frobenius polynomials. We get that these structures do not have the independence property. To
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5428c37093b55cc23b589566dd77e08b
https://doi.org/10.1016/j.crma.2008.05.011
https://doi.org/10.1016/j.crma.2008.05.011
Publikováno v:
American Journal of Mathematics. 129:665-721
We give axiomatizations and prove quantifier elimination theorems for first-order theories of unramified valued fields with an automorphism having a close interaction with the valuation. We achieve an analogue of the classical Ostrowski theory of pse
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::34d0729660ad2d79ea8bbba8ca001b87
https://doi.org/10.1353/ajm.2007.0018
https://doi.org/10.1353/ajm.2007.0018
Autor:
Luc Bélair
Publikováno v:
Comptes Rendus Mathematique. 340:99-102
Resume On montre une propriete d'approximation analogue a celle de Greenberg [Publ. Math. IHES 31 (1966) 59–64], mais pour les equations aux differences de l'automorphisme de Frobenius des vecteurs de Witt. Pour citer cet article : L. Belair, C. R.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8901c4f40d8f3a4d7803361f291b4451
https://doi.org/10.1016/j.crma.2004.12.001
https://doi.org/10.1016/j.crma.2004.12.001
Autor:
Luc Bélair
Publikováno v:
Comptes Rendus Mathematique. 339:83-86
Resume On transpose les resultats de Kochen sur les fonctions rationnelles p -adiques a valeurs entieres, aux fonctions rationnelles aux differences de l'automorphisme de Frobenius des vecteurs de Witt. Pour citer cet article : L. Belair, C. R. Acad.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::316e98a10cc6e75dbe8707ae777a741a
https://doi.org/10.1016/j.crma.2004.04.017
https://doi.org/10.1016/j.crma.2004.04.017
Autor:
Luc Bélair
Publikováno v:
Comptes Rendus Mathematique. 336:459-462
Resume On montre que les entiers naturels sont definissables dans les corps de courbes reelles sur un corps ordonnable qui admet au moins un ordre archimedien. Ceci generalise le resultat de Raphael Robinson sur les corps de fonctions rationnelles. P
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f09bb10510c2a117cba3148724c89e8d
https://doi.org/10.1016/s1631-073x(03)00115-8
https://doi.org/10.1016/s1631-073x(03)00115-8