Edit Profile Bélair, Luc Compute Distance To: Compute Author ID: belair.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 all top 5 Co-Authors 17 single-authored 9 Point, Françoise 3 Macintyre, Angus John 2 Chatzidakis, Zoé Maria 2 D’Aquino, P. D. 2 Duret, Jean-Louis 2 Marker, David E. 2 Otero, Manuel 2 Wilkie, Alex James 1 Bousquet, Michel 1 Gélinas, Maxime 1 Haskell, Deirdre 1 Reyes, Gonzalo E. 1 Scanlon, Thomas J. 1 van den Dries, Lou all top 5 Serials 7 The Journal of Symbolic Logic 6 Comptes Rendus. Mathématique. Académie des Sciences, Paris 2 Communications in Algebra 2 Annales des Sciences Mathématiques du Québec 2 Comptes Rendus de l’Académie des Sciences. Série I 1 Algebra Universalis 1 American Journal of Mathematics 1 Illinois Journal of Mathematics 1 Journal of Algebra 1 Journal of Pure and Applied Algebra 1 Manuscripta Mathematica 1 Comptes Rendus Mathématiques de l’Académie des Sciences 1 Annals of Pure and Applied Logic 1 Comptes Rendus de l’Académie des Sciences. Série I. Mathématique 1 Quaderni di Matematica all top 5 Fields 27 Mathematical logic and foundations (03-XX) 22 Field theory and polynomials (12-XX) 10 Commutative algebra (13-XX) 8 Number theory (11-XX) 3 Associative rings and algebras (16-XX) 2 Algebraic geometry (14-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Geometry (51-XX) Publications by Year all cited Publications top 5 cited Publications 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.03043Bélair, Luc; Macintyre, Angus; Scanlon, Thomas 21 2007 Types in valued fields with coefficient maps. Zbl 0927.03067Bélair, Luc 10 1999 Substructures and uniform elimination for p-adic fields. Zbl 0656.03023Bélair, Luc 9 1988 Integer-valued difference rational functions over Witt vectors. Zbl 1050.03027Bélair, Luc 5 2004 The Frobenius automorphism of Witt vectors. Zbl 0966.03038Bélair, Luc; Macintyre, Angus 4 2000 Quantifier elimination in valued Ore modules. Zbl 1225.03039Bélair, Luc; Point, Françoise 3 2010 Approximation for Frobenius algebraic equations in Witt vectors. Zbl 1166.13030Bélair, Luc 3 2009 Difference equations in Witt vectors. Zbl 1107.13029Bélair, Luc 3 2005 Rings of \(p\)-adic functions. Zbl 0868.03017Bélair, Luc 3 1995 Undecidability of fields of real curves. Zbl 0799.12007Bé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.03025Bélair, Luc 3 1991 Panorama of \(p\)-adic model theory. Zbl 1362.11107Bélair, Luc 2 2012 Corrigendum to: “Quantifier elimination in valued Ore modules”. Zbl 1239.03024Bélair, Luc; Point, Françoise 2 2012 Calcul infinitésimal en géométrie différentielle synthétique. Zbl 0561.51018Bélair, Luc; Reyes, Gonzalo E. 2 1985 The logic of fractional parts of real numbers. Zbl 1434.03089Bélair, Luc; Point, Françoise 1 2016 Separably closed fields and contractive Ore modules. Zbl 1373.03058Bé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.03028Bé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.03014Bé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.03018Bé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.11062Bélair, Luc 1 1990 Vecteurs de Witt. (Witt vectors). Zbl 0702.12004Bé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.03021Bélair, Luc 1 1988 Modèles premiers et corps régulièrement clos. (Prime models and regularly closed fields). Zbl 0671.12008Bélair, Luc 1 1988 Spectres p-adiques en rang fini. (p-adic spectra in finite p-rank). Zbl 0621.14001Bélair, Luc 1 1987 The logic of fractional parts of real numbers. Zbl 1434.03089Bélair, Luc; Point, Françoise 1 2016 Separably closed fields and contractive Ore modules. Zbl 1373.03058Bélair, Luc; Point, Françoise 1 2015 Panorama of \(p\)-adic model theory. Zbl 1362.11107Bélair, Luc 2 2012 Corrigendum to: “Quantifier elimination in valued Ore modules”. Zbl 1239.03024Bélair, Luc; Point, Françoise 2 2012 Quantifier elimination in valued Ore modules. Zbl 1225.03039Bélair, Luc; Point, Françoise 3 2010 Approximation for Frobenius algebraic equations in Witt vectors. Zbl 1166.13030Bélair, Luc 3 2009 Model theory of the Frobenius on the Witt vectors. Zbl 1121.03043Bélair, Luc; Macintyre, Angus; Scanlon, Thomas 21 2007 Difference equations in Witt vectors. Zbl 1107.13029Bélair, Luc 3 2005 Integer-valued difference rational functions over Witt vectors. Zbl 1050.03027Bé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.03028Bé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.03014Bé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.03038Bélair, Luc; Macintyre, Angus 4 2000 Types in valued fields with coefficient maps. Zbl 0927.03067Bélair, Luc 10 1999 Types in valued fields. Zbl 0857.03018Bélair, Luc; Bousquet, Michel 1 1996 Rings of \(p\)-adic functions. Zbl 0868.03017Bélair, Luc 3 1995 Undecidability of fields of real curves. Zbl 0799.12007Bé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.03025Bé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.11062Bélair, Luc 1 1990 Vecteurs de Witt. (Witt vectors). Zbl 0702.12004Bélair, Luc 1 1990 Substructures and uniform elimination for p-adic fields. Zbl 0656.03023Bé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.03021Bélair, Luc 1 1988 Modèles premiers et corps régulièrement clos. (Prime models and regularly closed fields). Zbl 0671.12008Bélair, Luc 1 1988 Spectres p-adiques en rang fini. (p-adic spectra in finite p-rank). Zbl 0621.14001Bélair, Luc 1 1987 Calcul infinitésimal en géométrie différentielle synthétique. Zbl 0561.51018Bélair, Luc; Reyes, Gonzalo E. 2 1985 all cited Publications top 5 cited Publications all top 5 Cited by 54 Authors 11 Bélair, Luc 8 Point, Françoise 5 Guzy, Nicolas 3 Haskell, Deirdre 3 Hasson, Assaf 3 Onay, Gönenç 2 Aschenbrenner, Matthias 2 Azgin, Salih 2 Chernikov, Artem 2 Cluckers, Raf 2 Halevi, Yatir 2 Macintyre, Angus John 2 Macpherson, Dugald 2 Pillay, Anand 2 Simon, Pierre 2 van den Dries, Lou 2 Yao, Ningyuan 1 Beyarslan, Özlem 1 Bunge, Marta C. 1 Comte, Georges 1 Derakhshan, Jamshid 1 Dolich, Alf 1 Dupont, Katharina 1 Durhan, Salih 1 Gorchinskiĭ, Sergeĭ Olegovich 1 Hazewinkel, Michiel 1 Hils, Martin 1 Hoffmann, Daniel Max 1 Jahnke, Franziska 1 Kaplan, Itay 1 Kuhlmann, Salma 1 Lee, Junguk 1 Lempp, Steffen 1 L’Innocente, Sonia 1 Lipshitz, Leonard 1 Loeser, François 1 Milliet, Cédric 1 Moerdijk, Ieke 1 Ovchinnikov, Alexey Igorevich 1 Pal, Koushik 1 Penazzi, Davide 1 Pheidas, Thanases 1 Pierce, David M. 1 Pogudin, Gleb A. 1 Rathjen, Michael 1 Reyes, Gonzalo E. 1 Rideau, Silvain 1 Scanlon, Thomas J. 1 Scowcroft, Philip 1 Shlapentokh, Alexandra 1 Srhir, Ahmed 1 Starchenko, Sergei 1 van der Hoeven, Joris 1 Yaffe, Yoav all top 5 Cited in 23 Serials 6 The Journal of Symbolic Logic 6 Archive for Mathematical Logic 5 Journal of Pure and Applied Algebra 5 Annals of Pure and Applied Logic 5 Comptes Rendus. Mathématique. Académie des Sciences, Paris 4 Journal of Algebra 3 The Bulletin of Symbolic Logic 2 Communications in Algebra 2 Israel Journal of Mathematics 2 Proceedings of the American Mathematical Society 2 Selecta Mathematica. New Series 2 Journal of the Institute of Mathematics of Jussieu 1 Advances in Mathematics 1 Algebra Universalis 1 Fundamenta Mathematicae 1 Inventiones Mathematicae 1 Journal of Number Theory 1 Notre Dame Journal of Formal Logic 1 Transactions of the American Mathematical Society 1 Journal de Mathématiques Pures et Appliquées. Neuvième Série 1 Journal of the European Mathematical Society (JEMS) 1 Journal of Mathematical Logic 1 Forum of Mathematics, Pi all top 5 Cited in 18 Fields 47 Mathematical logic and foundations (03-XX) 32 Field theory and polynomials (12-XX) 12 Commutative algebra (13-XX) 6 Number theory (11-XX) 6 Algebraic geometry (14-XX) 6 Associative rings and algebras (16-XX) 4 Group theory and generalizations (20-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 2 General and overarching topics; collections (00-XX) 2 Category theory; homological algebra (18-XX) 2 Several complex variables and analytic spaces (32-XX) 2 Global analysis, analysis on manifolds (58-XX) 1 Combinatorics (05-XX) 1 Topological groups, Lie groups (22-XX) 1 Real functions (26-XX) 1 Ordinary differential equations (34-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 General topology (54-XX) Citations by Year Wikidata Timeline