×

zbMATH — the first resource for mathematics

Bélair, Luc

Compute Distance To:
Author ID: belair.luc Recent zbMATH articles by "Bélair, Luc"
Published as: Bélair, L.; Bélair, Luc
External Links: MGP · Wikidata
Documents Indexed: 34 Publications since 1985, including 1 Book
Reviewing Activity: 38 Reviews

Publications by Year

Citations contained in zbMATH

24 Publications have been cited 83 times in 57 Documents Cited by Year
Model theory of the Frobenius on the Witt vectors. Zbl 1121.03043
Bélair, Luc; Macintyre, Angus; Scanlon, Thomas
21
2007
Types in valued fields with coefficient maps. Zbl 0927.03067
Bélair, Luc
10
1999
Substructures and uniform elimination for p-adic fields. Zbl 0656.03023
Bélair, Luc
9
1988
Integer-valued difference rational functions over Witt vectors. Zbl 1050.03027
Bélair, Luc
5
2004
The Frobenius automorphism of Witt vectors. Zbl 0966.03038
Bélair, Luc; Macintyre, Angus
4
2000
Quantifier elimination in valued Ore modules. Zbl 1225.03039
Bélair, Luc; Point, Françoise
3
2010
Approximation for Frobenius algebraic equations in Witt vectors. Zbl 1166.13030
Bélair, Luc
3
2009
Difference equations in Witt vectors. Zbl 1107.13029
Bélair, Luc
3
2005
Rings of \(p\)-adic functions. Zbl 0868.03017
Bélair, Luc
3
1995
Undecidability of fields of real curves. Zbl 0799.12007
Bélair, Luc; Duret, Jean-Louis
3
1994
Anneaux \(p\)-adiquement clos et anneaux de fonctions définissables. (p- adically closed rings and rings of definable functions). Zbl 0746.03025
Bélair, Luc
3
1991
Panorama of \(p\)-adic model theory. Zbl 1362.11107
Bélair, Luc
2
2012
Corrigendum to: “Quantifier elimination in valued Ore modules”. Zbl 1239.03024
Bélair, Luc; Point, Françoise
2
2012
Calcul infinitésimal en géométrie différentielle synthétique. Zbl 0561.51018
Bélair, Luc; Reyes, Gonzalo E.
2
1985
The logic of fractional parts of real numbers. Zbl 1434.03089
Bélair, Luc; Point, Françoise
1
2016
Separably closed fields and contractive Ore modules. Zbl 1373.03058
Bélair, Luc; Point, Françoise
1
2015
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). Zbl 1023.03028
Bélair, Luc
1
2003
Model theory and applications. Based on the Euro-Conference in model theory and applications, Ravello, Italy, May 27–June 1, 2002. Zbl 1066.03014
Bélair, L. (ed.); Chatzidakis, Z. (ed.); D’Aquino, P. D. (ed.); Marker, D. (ed.); Otero, M. (ed.); Point, F. (ed.); Wilkie, A. (ed.)
1
2002
Types in valued fields. Zbl 0857.03018
Bélair, Luc; Bousquet, Michel
1
1996
Le théorème de Macintyre, un théorème de Chevalley p-adique. (Macintyre’s theorem, a p-adic Chevalley theorem). Zbl 0729.11062
Bélair, Luc
1
1990
Vecteurs de Witt. (Witt vectors). Zbl 0702.12004
Bélair, Luc
1
1990
Le théorème de Macintyre sur les ensembles définissables dans les corps p-adiques. (The theorem of Macintyre on definable sets in p-adic fields). Zbl 0692.03021
Bélair, Luc
1
1988
Modèles premiers et corps régulièrement clos. (Prime models and regularly closed fields). Zbl 0671.12008
Bélair, Luc
1
1988
Spectres p-adiques en rang fini. (p-adic spectra in finite p-rank). Zbl 0621.14001
Bélair, Luc
1
1987
The logic of fractional parts of real numbers. Zbl 1434.03089
Bélair, Luc; Point, Françoise
1
2016
Separably closed fields and contractive Ore modules. Zbl 1373.03058
Bélair, Luc; Point, Françoise
1
2015
Panorama of \(p\)-adic model theory. Zbl 1362.11107
Bélair, Luc
2
2012
Corrigendum to: “Quantifier elimination in valued Ore modules”. Zbl 1239.03024
Bélair, Luc; Point, Françoise
2
2012
Quantifier elimination in valued Ore modules. Zbl 1225.03039
Bélair, Luc; Point, Françoise
3
2010
Approximation for Frobenius algebraic equations in Witt vectors. Zbl 1166.13030
Bélair, Luc
3
2009
Model theory of the Frobenius on the Witt vectors. Zbl 1121.03043
Bélair, Luc; Macintyre, Angus; Scanlon, Thomas
21
2007
Difference equations in Witt vectors. Zbl 1107.13029
Bélair, Luc
3
2005
Integer-valued difference rational functions over Witt vectors. Zbl 1050.03027
Bélair, Luc
5
2004
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). Zbl 1023.03028
Bélair, Luc
1
2003
Model theory and applications. Based on the Euro-Conference in model theory and applications, Ravello, Italy, May 27–June 1, 2002. Zbl 1066.03014
Bélair, L. (ed.); Chatzidakis, Z. (ed.); D’Aquino, P. D. (ed.); Marker, D. (ed.); Otero, M. (ed.); Point, F. (ed.); Wilkie, A. (ed.)
1
2002
The Frobenius automorphism of Witt vectors. Zbl 0966.03038
Bélair, Luc; Macintyre, Angus
4
2000
Types in valued fields with coefficient maps. Zbl 0927.03067
Bélair, Luc
10
1999
Types in valued fields. Zbl 0857.03018
Bélair, Luc; Bousquet, Michel
1
1996
Rings of \(p\)-adic functions. Zbl 0868.03017
Bélair, Luc
3
1995
Undecidability of fields of real curves. Zbl 0799.12007
Bélair, Luc; Duret, Jean-Louis
3
1994
Anneaux \(p\)-adiquement clos et anneaux de fonctions définissables. (p- adically closed rings and rings of definable functions). Zbl 0746.03025
Bélair, Luc
3
1991
Le théorème de Macintyre, un théorème de Chevalley p-adique. (Macintyre’s theorem, a p-adic Chevalley theorem). Zbl 0729.11062
Bélair, Luc
1
1990
Vecteurs de Witt. (Witt vectors). Zbl 0702.12004
Bélair, Luc
1
1990
Substructures and uniform elimination for p-adic fields. Zbl 0656.03023
Bélair, Luc
9
1988
Le théorème de Macintyre sur les ensembles définissables dans les corps p-adiques. (The theorem of Macintyre on definable sets in p-adic fields). Zbl 0692.03021
Bélair, Luc
1
1988
Modèles premiers et corps régulièrement clos. (Prime models and regularly closed fields). Zbl 0671.12008
Bélair, Luc
1
1988
Spectres p-adiques en rang fini. (p-adic spectra in finite p-rank). Zbl 0621.14001
Bélair, Luc
1
1987
Calcul infinitésimal en géométrie différentielle synthétique. Zbl 0561.51018
Bélair, Luc; Reyes, Gonzalo E.
2
1985

Citations by Year

Wikidata Timeline