Luc Bélair

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Fractional parts of dense additive subgroups of real numbers	2018-12-05	Paper
Recognizable sets of power series over finite fields	2018-02-07	Paper
The logic of fractional parts of real numbers	2016-06-08	Paper
Separably closed fields and contractive Ore modules	2016-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q5166776	2014-07-08	Paper
Corrigendum to: ``Quantifier elimination in valued Ore modules	2012-06-19	Paper
Quantifier elimination in valued Ore modules	2010-10-04	Paper
Approximation for Frobenius algebraic equations in Witt vectors	2009-06-30	Paper
Quantifier elimination in linear difference equations over Witt vectors	2008-08-06	Paper
Model theory of the Frobenius on the Witt vectors	2007-07-09	Paper
https://portal.mardi4nfdi.de/entity/Q5700769	2005-10-31	Paper
Difference equations in Witt vectors	2005-02-23	Paper
Integer-valued difference rational functions over Witt vectors	2004-08-20	Paper
La définissabilité des entiers dans les corps de courbes réelles archimédiens. (Definability of the natural numbers in function fields over an Archimedean field)	2003-09-15	Paper
L'automorphisme de Frobenius des vecteurs de Witt	2000-12-19	Paper
Pseudovaluation domains with vapnik-chervonenkis classes of definable sets	2000-01-01	Paper
Types in valued fields with coefficient maps	1999-11-23	Paper
Dependence on parameters in analogues of hilberts seventeenth problem	1998-01-05	Paper
Anneaux de fonctions p-adiques	1997-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4717494	1996-12-01	Paper
Indécidabilité des corps de courbe réelle	1994-06-13	Paper
Infinitesimally stable theories of henselian rings	1993-12-20	Paper
Anneaux p-adiquement clos et anneaux de fonctions définissables	1992-06-27	Paper
Definissabilite dans les Corps de Fonctions p-Adiques	1992-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q3353127	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3204575	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3480173	1990-01-01	Paper
Substructures and uniform elimination for p-adic fields	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3824495	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3033745	1988-01-01	Paper
Elementary equivalence and codimension in p-adic fields	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3758017	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5186265	1985-01-01	Paper

Research outcomes over time

This page was built for person: Luc Bélair