Edit Profile (opens in new tab) van den Dries, Lou Co-Author Distance Author ID: van-den-dries.lou Published as: van den Dries, Lou; Van den Dries, Lou; van den Dries, L. P. D.; van den Dries, L. more...less External Links: MGP · Wikidata · GND · IdRef Documents Indexed: 117 Publications since 1977, including 3 Books 1 Further Contribution Co-Authors: 43 Co-Authors with 72 Joint Publications 771 Co-Co-Authors all top 5 Co-Authors 44 single-authored 13 Aschenbrenner, Matthias 10 van der Hoeven, Joris 9 Macintyre, Angus John 4 Goldbring, Isaac 4 Günaydın, Ayhan 4 Marker, David E. 4 Miller, Chris 4 Ribenboim, Paulo 4 Wilkie, Alex James 3 Speissegger, Patrick 2 Denef, Jan 2 Ehrlich, Philip 2 Henson, C. Ward 2 Lopes, Vinicius Cifú 2 Moschovakis, Yiannis Nicholas 2 Rubel, Lee Albert 2 Singer, Michael F. 1 Azgin, Salih 1 Becker, Joseph A. 1 Bélair, Luc 1 Bhardwaj, Neer 1 Chatzidakis, Zoé Maria 1 Cherlin, Gregory L. 1 Connell, Edwin H. 1 Gao, Su 1 Glass, Andrew M. W. 1 Haskell, Deirdre 1 Holly, Jan E. 1 Kaplan, Elliot 1 Koenigsmann, Jochen 1 Kuhlmann, Franz-Viktor 1 Levitz, Hilbert 1 Lewenberg, Adam H. 1 Lipshitz, Leonard 1 Lubotzky, Alexander 1 Macpherson, Dugald 1 Macpherson, Hugh Dugald 1 Maříková, Jana 1 McKenna, Ken 1 McKenna, Kenneth 1 Mekler, Alan H. 1 Pillay, Anand 1 Poland, John C. 1 Pynn-Coates, Nigel 1 Scowcroft, Philip 1 Smith, Rick L. 1 Strooker, Jan Rustom 1 Toffalori, Carlo all top 5 Serials 12 The Journal of Symbolic Logic 6 Transactions of the American Mathematical Society 5 Proceedings of the American Mathematical Society 4 Journal of Algebra 4 Manuscripta Mathematica 4 Annals of Pure and Applied Logic 3 Israel Journal of Mathematics 3 Fundamenta Mathematicae 3 Journal für die Reine und Angewandte Mathematik 3 Proceedings of the London Mathematical Society. Third Series 3 Journal of Lie Theory 2 Canadian Mathematical Bulletin 2 Illinois Journal of Mathematics 2 Indagationes Mathematicae 2 Inventiones Mathematicae 2 Journal of the London Mathematical Society. Second Series 2 Journal of Pure and Applied Algebra 2 Mathematische Zeitschrift 2 Bulletin of the American Mathematical Society. New Series 2 Annals of Mathematics. Second Series 1 Communications in Algebra 1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) 1 Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 1 Advances in Mathematics 1 American Journal of Mathematics 1 Annales de l’Institut Fourier 1 Annals of Mathematical Logic 1 Archiv der Mathematik 1 Duke Mathematical Journal 1 Glasgow Mathematical Journal 1 Mathematische Nachrichten 1 Notre Dame Journal of Formal Logic 1 Pacific Journal of Mathematics 1 Proceedings of the Edinburgh Mathematical Society. Series II 1 Revista de la Unión Matemática Argentina 1 Bulletin de la Société Matheḿatique de Belgique. Série B 1 Complex Variables. Theory and Application 1 L’Enseignement Mathématique. 2e Série 1 Expositiones Mathematicae 1 Notices of the American Mathematical Society 1 Selecta Mathematica. New Series 1 The Bulletin of Symbolic Logic 1 Journal of the European Mathematical Society (JEMS) 1 Foundations of Computational Mathematics 1 Journal of the Institute of Mathematics of Jussieu 1 ACM Transactions on Computational Logic 1 Comptes Rendus Hebdomadaires des Séances de l’Académie des Sciences, Série A 1 Annals of Mathematics Studies 1 Lecture Notes in Mathematics 1 London Mathematical Society Lecture Note Series 1 Communications of the Mathematical Institute, Rijksuniversiteit Utrecht all top 5 Fields 88 Mathematical logic and foundations (03-XX) 64 Field theory and polynomials (12-XX) 22 Number theory (11-XX) 21 Algebraic geometry (14-XX) 18 Commutative algebra (13-XX) 11 Real functions (26-XX) 10 Group theory and generalizations (20-XX) 7 Topological groups, Lie groups (22-XX) 6 Associative rings and algebras (16-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 4 Several complex variables and analytic spaces (32-XX) 3 Functions of a complex variable (30-XX) 3 Ordinary differential equations (34-XX) 3 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Functional analysis (46-XX) 1 General topology (54-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 100 Publications have been cited 2,377 times in 1,421 Documents Cited by ▼ Year ▼ Tame topology and o-minimal structures. Zbl 0953.03045van den Dries, Lou 466 1998 Geometric categories and o-minimal structures. Zbl 0889.03025van den Dries, Lou; Miller, Chris 254 1996 \(p\)-adic and real subanalytic sets. Zbl 0693.14012Denef, J.; van den Dries, Lou 134 1988 The elementary theory of restricted analytic fields with exponentiation. Zbl 0837.12006van den Dries, Lou; Macintyre, Angus; Marker, David 114 1994 Gromov’s theorem on groups of polynomial growth and elementary logic. Zbl 0552.20017van den Dries, Lou; Wilkie, A. J. 83 1984 A generalization of the Tarski-Seidenberg theorem, and some nondefinability results. Zbl 0612.03008van den Dries, Lou 67 1986 On the real exponential field with restricted analytic functions. Zbl 0823.03017van den Dries, Lou; Miller, Chris 60 1994 The real field with convergent generalized power series. Zbl 0905.03022van den Dries, Lou; Speissegger, Patrick 50 1998 Dimension of definable sets, algebraic boundedness and Henselian fields. Zbl 0704.03017van den Dries, Lou 48 1989 Bounds in the theory of polynomial rings over fields. A nonstandard approach. Zbl 0539.13011van den Dries, Lou; Schmidt, K. 47 1984 The field of reals with multisummable series and the exponential function. Zbl 1062.03029van den Dries, Lou; Speissegger, Patrick 45 2000 Dense pairs of o-minimal structures. Zbl 0906.03036van den Dries, Lou 43 1998 Asymptotic differential algebra and model theory of transseries. Zbl 1430.12002Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris 40 2017 Definable sets over finite fields. Zbl 0759.11045Chatzidakis, Zoé; van den Dries, Lou; Macintyre, Angus 39 1992 The fields of real and complex numbers with a small multiplicative group. Zbl 1101.03028van den Dries, Lou; Günaydin, Ayhan 39 2006 Logarithmic-exponential power series. Zbl 0924.12007van den Dries, Lou; Macintyre, Angus; Marker, David 37 1997 \(T\)-convexity and tame extensions. Zbl 0856.03028van den Dries, Lou; Lewenberg, Adam H. 36 1995 Logarithmic-exponential series. Zbl 0998.12014van den Dries, Lou; Macintyre, Angus; Marker, David 34 2001 Elimination of quantifiers in algebraic structures. Zbl 0531.03016Macintyre, Angus J.; McKenna, Kenneth; van den Dries, Lou 34 1983 Ultraproducts and approximation in local rings. I. Zbl 0416.13004Becker, Joseph; Denef, J.; Lipshitz, L.; Van den Dries, Lou 32 1979 Subgroups of free profinite groups and large subfields of Q. Zbl 0485.20021Lubotzky, Alexander; van den Dries, Lou 30 1981 On the structure of semialgebraic sets over p-adic fields. Zbl 0692.14014Scowcroft, Philip; van den Dries, Lou 30 1988 Algebraic theories with definable Skolem functions. Zbl 0596.03032van den Dries, Lou 28 1984 One-dimensional \(p\)-adic subanalytic sets. Zbl 0932.03038van den Dries, Lou; Haskell, Deirdre; MacPherson, Dugald 27 1999 \(T\)-convexity and tame extensions. II. Zbl 0922.03055van den Dries, Lou 27 1997 The field of reals with a predicate for the powers of two. Zbl 0631.03020van den Dries, Lou 25 1986 Alfred Tarski’s elimination theory for real closed fields. Zbl 0651.03001van den Dries, Lou 24 1988 Remarks on Tarski’s problem concerning \(({\mathbb{R}},+,\cdot,\exp)\). Zbl 0585.03006van den Dries, Lou 22 1984 On the elementary theory of restricted elementary functions. Zbl 0698.03023van den Dries, Lou 22 1988 Fields of surreal numbers and exponentiation. Zbl 0974.03035van den Dries, Lou; Ehrlich, Philip 21 2001 Exponential rings, exponential polynomials and exponential functions. Zbl 0603.13019van den Dries, Lou 19 1984 Decidability and undecidability theorems for PAC-fields. Zbl 0466.12017Cherlin, Gregory; van den Dries, Lou; Macintyre, Angus J. 19 1981 Elimination theory for the ring of algebraic integers. Zbl 0659.12021van den Dries, Lou 18 1988 An effective bound for groups of linear growth. Zbl 0567.20016Wilkie, A. J.; van den Dries, Lou 17 1984 o-minimal structures. Zbl 0861.03028van den Dries, Lou 17 1996 o-minimal preparation theorems. Zbl 1081.03039van den Dries, L.; Speissegger, P. 16 2002 \(H\)-fields and their Liouville extensions. Zbl 1066.12002Aschenbrenner, Matthias; van den Dries, Lou 15 2002 Extending Tamm’s theorem. Zbl 0816.32004van den Dries, Lou; Miller, Chris 15 1994 Analytic Ax-Kochen-Ershov theorems. Zbl 0835.03004van den Dries, Lou 14 1992 Some applications of a model theoretic fact to (semi-)algebraic geometry. Zbl 0538.14017van den Dries, Lou 14 1982 O-minimal structures and real analytic geometry. Zbl 0980.03043van den Dries, Lou 12 1999 Quantifier elimination for linear formulas over ordered and valued fields. Zbl 0479.03018Van den Dries, Lou 12 1981 Closed asymptotic couples. Zbl 0974.12015Aschenbrenner, Matthias; van den Dries, Lou 12 2000 The logic of Rumely’s local-global principle. Zbl 0703.13021van den Dries, Lou; Macintyre, Angus 11 1990 Lectures on the model theory of valued fields. Zbl 1347.03074van den Dries, Lou 11 2014 Liouville closed \(H\)-fields. Zbl 1134.12004Aschenbrenner, Matthias; van den Dries, Lou 9 2005 Asymptotic differential algebra. Zbl 1087.12002Aschenbrenner, Matthias; van den Dries, Lou 9 2005 Injective polynomial maps and the Jacobian conjecture. Zbl 0513.13007Connell, E.; van den Dries, Lou 9 1983 Classical model theory of fields. Zbl 0986.03034van den Dries, Lou 9 2000 A specialization theorem for analytic functions on compact sets. Zbl 0526.30004van den Dries, Lou 8 1982 The absolute Galois group of a rational function field in characteristic zero is a semi-direct product. Zbl 0548.12013van den Dries, Lou; Ribenboim, Paulo 8 1984 Artin-Schreier theory for commutative regular rings. Zbl 0376.13012Van den Dries, Lou 7 1977 Toward a model theory for transseries. Zbl 1314.03037Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris 7 2013 Weil’s group chunk theorem: A topological setting. Zbl 0764.22001van den Dries, L. P. D. 6 1990 Elementary theory of valued fields with a valuation-preserving automorphism. Zbl 1235.03068Azgin, Salih; van den Dries, Lou 6 2011 Generating the greatest common divisor, and limitations of primitive recursive algorithms. Zbl 1019.03027van den Dries, L. 6 2003 Mann pairs. Zbl 1192.03011van den Dries, Lou; Günaydin, Ayhan 5 2010 Tarski’s problem and Pfaffian functions. Zbl 0616.03018van den Dries, Lou 5 1986 Which curves over Z have points with coordinates in a discrete ordered ring? Zbl 0464.10047van den Dries, Lou 5 1981 A specialization theorem for p-adic power series converging on the closed unit disc. Zbl 0511.12018van den Dries, Lou 5 1981 A remark on Ax’s theorem on solvability modulo primes. Zbl 0744.11064van den Dries, Lou 4 1991 Quantifier elimination for modules with scalar variables. Zbl 0772.03017van den Dries, Lou; Holly, Jan 4 1992 Analytic Hardy fields and exponential curves in the real plane. Zbl 0597.26002van den Dries, Lou 4 1984 New decidable fields of algebraic numbers. Zbl 0396.12020van den Dries, Lou 4 1979 A linearly ordered ring whose theory admits elimination of quantifiers is a real closed field. Zbl 0397.06017van den Dries, L. P. D. 4 1980 Images of additive polynomials in \(\mathbb{F}_q((t))\) have the optimal approximation property. Zbl 1009.12008van den Dries, Lou; Kuhlmann, Franz-Viktor 4 2002 Surjective polynomial maps, and a remark on the Jacobian problem. Zbl 0714.14013McKenna, Ken; van den Dries, Lou 4 1990 Differentially algebraic gaps. Zbl 1151.12002Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris 4 2005 The surreal numbers as a universal \(H\)-field. Zbl 1470.12004Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris 4 2019 Correction to ”On the real exponential field with restricted analytic functions”. Zbl 0973.03514van den Dries, Lou; Miller, Chris 3 1995 Application de la théorie des modeles aux groupes de Galois de corps de fonctions. Zbl 0426.12004Van den Dries, Lou; Ribenboim, Paulo 3 1979 Triangulation in o-minimal fields with standard part map. Zbl 1221.03030van den Dries, Lou; Maříková, Jana 3 2010 A Polish group without Lie sums. Zbl 1181.22006van den Dries, Lou; Gao, Su 3 2009 Hilbert’s 5th problem. Zbl 1335.22008van den Dries, Lou; Goldbring, Isaac 3 2015 Maximal immediate extensions of valued differential fields. Zbl 1437.12003Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris 3 2018 On numbers, germs, and transseries. Zbl 1445.03044Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris 3 2018 Dimension in the realm of transseries. Zbl 1388.12008Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris 3 2017 Globalizing locally compact local groups. Zbl 1203.22006van den Dries, Lou; Goldbring, Isaac 2 2010 Isomorphism of complete local noetherian rings and strong approximation. Zbl 1154.13006van den Dries, Lou 2 2008 A completeness theorem for trigonometric identities and various results on exponential functions. Zbl 0619.03012van den Dries, Lou 2 1986 Is the Euclidean algorithm optimal among its peers? Zbl 1095.03025van den Dries, Lou; Moschovakis, Yiannis N. 2 2004 An intermediate value property for first-order differential polynomials. Zbl 0994.26005van den Dries, Lou 2 2000 Some model theory and number theory for models of weak systems of arithmetic. Zbl 0454.03034van den Dries, Lou 2 1980 Algorithms and bounds for polynomial rings. Zbl 0461.13015van den Dries, Lou 2 1979 On Skolem’s exponential functions below \(2^{2^ X}\). Zbl 0556.03036van den Dries, Lou; Levitz, Hilbert 2 1984 Arithmetic complexity. Zbl 1367.68116van den Dries, Lou; Moschovakis, Yiannis N. 2 2009 Definable sets in Mann pairs. Zbl 1243.03054van den Dries, Lou; Günaydin, Ayhan 2 2011 Locally compact contractive local groups. Zbl 1222.22004van den Dries, Lou; Goldbring, Isaac 1 2009 Elementary equivalence and the commutator subgroup. Zbl 0504.03006van den Dries, L. P. D.; Glass, A. M. W.; Macintyre, Angus J.; Mekler, Alan H.; Poland, John 1 1982 The laws of integer divisibility, and solution sets of linear divisibility conditions. Zbl 1056.03020van den Dries, L.; Wilkie, A. J. 1 2003 On the elementary theory of rings of Witt vectors with a multiplicative set of representatives for the residue field. Zbl 0923.03053van den Dries, Lou 1 1999 Correction to “\(T\)-convexity and tame extensions. II”. Zbl 0927.03068van den Dries, Lou 1 1998 Erratum to “Globalizing locally compact local groups”. Zbl 1242.22005van den Dries, Lou; Goldbring, Isaac 1 2012 o-minimal structures on the field of real numbers. Zbl 0854.03036van den Dries, Lou 1 1996 An application of Tarski’s principle to absolute Galois groups of function fields. Zbl 0645.12009van den Dries, Lou; Ribenboim, Paulo 1 1987 An application of Tarski’s principle to absolute Galois groups of function fields. Zbl 0645.12010van den Dries, Lou; Ribenboim, P. 1 1986 Convergent series expansions of a new type for exponential functions. Zbl 0709.13011van den Dries, Lou 1 1989 Approximate groups (according to Hrushovski and Breuillard, Green, Tao). Zbl 1358.11024van den Dries, Lou 1 2015 Invariant measures on groups satisfying various chain conditions. Zbl 1220.03024van den Dries, Lou; Lopes, Vinicius Cifú 1 2011 On the uniqueness of maximal immediate extensions of valued differential fields. Zbl 1442.12005van den Dries, Lou; Pynn-Coates, Nigel 1 2019 The surreal numbers as a universal \(H\)-field. Zbl 1470.12004Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris 4 2019 On the uniqueness of maximal immediate extensions of valued differential fields. Zbl 1442.12005van den Dries, Lou; Pynn-Coates, Nigel 1 2019 Maximal immediate extensions of valued differential fields. Zbl 1437.12003Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris 3 2018 On numbers, germs, and transseries. Zbl 1445.03044Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris 3 2018 Asymptotic differential algebra and model theory of transseries. Zbl 1430.12002Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris 40 2017 Dimension in the realm of transseries. Zbl 1388.12008Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris 3 2017 Hilbert’s 5th problem. Zbl 1335.22008van den Dries, Lou; Goldbring, Isaac 3 2015 Approximate groups (according to Hrushovski and Breuillard, Green, Tao). Zbl 1358.11024van den Dries, Lou 1 2015 Lectures on the model theory of valued fields. Zbl 1347.03074van den Dries, Lou 11 2014 Toward a model theory for transseries. Zbl 1314.03037Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris 7 2013 Erratum to “Globalizing locally compact local groups”. Zbl 1242.22005van den Dries, Lou; Goldbring, Isaac 1 2012 Elementary theory of valued fields with a valuation-preserving automorphism. Zbl 1235.03068Azgin, Salih; van den Dries, Lou 6 2011 Definable sets in Mann pairs. Zbl 1243.03054van den Dries, Lou; Günaydin, Ayhan 2 2011 Invariant measures on groups satisfying various chain conditions. Zbl 1220.03024van den Dries, Lou; Lopes, Vinicius Cifú 1 2011 Mann pairs. Zbl 1192.03011van den Dries, Lou; Günaydin, Ayhan 5 2010 Triangulation in o-minimal fields with standard part map. Zbl 1221.03030van den Dries, Lou; Maříková, Jana 3 2010 Globalizing locally compact local groups. Zbl 1203.22006van den Dries, Lou; Goldbring, Isaac 2 2010 A Polish group without Lie sums. Zbl 1181.22006van den Dries, Lou; Gao, Su 3 2009 Arithmetic complexity. Zbl 1367.68116van den Dries, Lou; Moschovakis, Yiannis N. 2 2009 Locally compact contractive local groups. Zbl 1222.22004van den Dries, Lou; Goldbring, Isaac 1 2009 Isomorphism of complete local noetherian rings and strong approximation. Zbl 1154.13006van den Dries, Lou 2 2008 The fields of real and complex numbers with a small multiplicative group. Zbl 1101.03028van den Dries, Lou; Günaydin, Ayhan 39 2006 Liouville closed \(H\)-fields. Zbl 1134.12004Aschenbrenner, Matthias; van den Dries, Lou 9 2005 Asymptotic differential algebra. Zbl 1087.12002Aschenbrenner, Matthias; van den Dries, Lou 9 2005 Differentially algebraic gaps. Zbl 1151.12002Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris 4 2005 Is the Euclidean algorithm optimal among its peers? Zbl 1095.03025van den Dries, Lou; Moschovakis, Yiannis N. 2 2004 Generating the greatest common divisor, and limitations of primitive recursive algorithms. Zbl 1019.03027van den Dries, L. 6 2003 The laws of integer divisibility, and solution sets of linear divisibility conditions. Zbl 1056.03020van den Dries, L.; Wilkie, A. J. 1 2003 o-minimal preparation theorems. Zbl 1081.03039van den Dries, L.; Speissegger, P. 16 2002 \(H\)-fields and their Liouville extensions. Zbl 1066.12002Aschenbrenner, Matthias; van den Dries, Lou 15 2002 Images of additive polynomials in \(\mathbb{F}_q((t))\) have the optimal approximation property. Zbl 1009.12008van den Dries, Lou; Kuhlmann, Franz-Viktor 4 2002 Logarithmic-exponential series. Zbl 0998.12014van den Dries, Lou; Macintyre, Angus; Marker, David 34 2001 Fields of surreal numbers and exponentiation. Zbl 0974.03035van den Dries, Lou; Ehrlich, Philip 21 2001 The field of reals with multisummable series and the exponential function. Zbl 1062.03029van den Dries, Lou; Speissegger, Patrick 45 2000 Closed asymptotic couples. Zbl 0974.12015Aschenbrenner, Matthias; van den Dries, Lou 12 2000 Classical model theory of fields. Zbl 0986.03034van den Dries, Lou 9 2000 An intermediate value property for first-order differential polynomials. Zbl 0994.26005van den Dries, Lou 2 2000 One-dimensional \(p\)-adic subanalytic sets. Zbl 0932.03038van den Dries, Lou; Haskell, Deirdre; MacPherson, Dugald 27 1999 O-minimal structures and real analytic geometry. Zbl 0980.03043van den Dries, Lou 12 1999 On the elementary theory of rings of Witt vectors with a multiplicative set of representatives for the residue field. Zbl 0923.03053van den Dries, Lou 1 1999 Tame topology and o-minimal structures. Zbl 0953.03045van den Dries, Lou 466 1998 The real field with convergent generalized power series. Zbl 0905.03022van den Dries, Lou; Speissegger, Patrick 50 1998 Dense pairs of o-minimal structures. Zbl 0906.03036van den Dries, Lou 43 1998 Correction to “\(T\)-convexity and tame extensions. II”. Zbl 0927.03068van den Dries, Lou 1 1998 Logarithmic-exponential power series. Zbl 0924.12007van den Dries, Lou; Macintyre, Angus; Marker, David 37 1997 \(T\)-convexity and tame extensions. II. Zbl 0922.03055van den Dries, Lou 27 1997 Geometric categories and o-minimal structures. Zbl 0889.03025van den Dries, Lou; Miller, Chris 254 1996 o-minimal structures. Zbl 0861.03028van den Dries, Lou 17 1996 o-minimal structures on the field of real numbers. Zbl 0854.03036van den Dries, Lou 1 1996 \(T\)-convexity and tame extensions. Zbl 0856.03028van den Dries, Lou; Lewenberg, Adam H. 36 1995 Correction to ”On the real exponential field with restricted analytic functions”. Zbl 0973.03514van den Dries, Lou; Miller, Chris 3 1995 The elementary theory of restricted analytic fields with exponentiation. Zbl 0837.12006van den Dries, Lou; Macintyre, Angus; Marker, David 114 1994 On the real exponential field with restricted analytic functions. Zbl 0823.03017van den Dries, Lou; Miller, Chris 60 1994 Extending Tamm’s theorem. Zbl 0816.32004van den Dries, Lou; Miller, Chris 15 1994 Definable sets over finite fields. Zbl 0759.11045Chatzidakis, Zoé; van den Dries, Lou; Macintyre, Angus 39 1992 Analytic Ax-Kochen-Ershov theorems. Zbl 0835.03004van den Dries, Lou 14 1992 Quantifier elimination for modules with scalar variables. Zbl 0772.03017van den Dries, Lou; Holly, Jan 4 1992 A remark on Ax’s theorem on solvability modulo primes. Zbl 0744.11064van den Dries, Lou 4 1991 The logic of Rumely’s local-global principle. Zbl 0703.13021van den Dries, Lou; Macintyre, Angus 11 1990 Weil’s group chunk theorem: A topological setting. Zbl 0764.22001van den Dries, L. P. D. 6 1990 Surjective polynomial maps, and a remark on the Jacobian problem. Zbl 0714.14013McKenna, Ken; van den Dries, Lou 4 1990 Dimension of definable sets, algebraic boundedness and Henselian fields. Zbl 0704.03017van den Dries, Lou 48 1989 Convergent series expansions of a new type for exponential functions. Zbl 0709.13011van den Dries, Lou 1 1989 \(p\)-adic and real subanalytic sets. Zbl 0693.14012Denef, J.; van den Dries, Lou 134 1988 On the structure of semialgebraic sets over p-adic fields. Zbl 0692.14014Scowcroft, Philip; van den Dries, Lou 30 1988 Alfred Tarski’s elimination theory for real closed fields. Zbl 0651.03001van den Dries, Lou 24 1988 On the elementary theory of restricted elementary functions. Zbl 0698.03023van den Dries, Lou 22 1988 Elimination theory for the ring of algebraic integers. Zbl 0659.12021van den Dries, Lou 18 1988 An application of Tarski’s principle to absolute Galois groups of function fields. Zbl 0645.12009van den Dries, Lou; Ribenboim, Paulo 1 1987 A generalization of the Tarski-Seidenberg theorem, and some nondefinability results. Zbl 0612.03008van den Dries, Lou 67 1986 The field of reals with a predicate for the powers of two. Zbl 0631.03020van den Dries, Lou 25 1986 Tarski’s problem and Pfaffian functions. Zbl 0616.03018van den Dries, Lou 5 1986 A completeness theorem for trigonometric identities and various results on exponential functions. Zbl 0619.03012van den Dries, Lou 2 1986 An application of Tarski’s principle to absolute Galois groups of function fields. Zbl 0645.12010van den Dries, Lou; Ribenboim, P. 1 1986 Gromov’s theorem on groups of polynomial growth and elementary logic. Zbl 0552.20017van den Dries, Lou; Wilkie, A. J. 83 1984 Bounds in the theory of polynomial rings over fields. A nonstandard approach. Zbl 0539.13011van den Dries, Lou; Schmidt, K. 47 1984 Algebraic theories with definable Skolem functions. Zbl 0596.03032van den Dries, Lou 28 1984 Remarks on Tarski’s problem concerning \(({\mathbb{R}},+,\cdot,\exp)\). Zbl 0585.03006van den Dries, Lou 22 1984 Exponential rings, exponential polynomials and exponential functions. Zbl 0603.13019van den Dries, Lou 19 1984 An effective bound for groups of linear growth. Zbl 0567.20016Wilkie, A. J.; van den Dries, Lou 17 1984 The absolute Galois group of a rational function field in characteristic zero is a semi-direct product. Zbl 0548.12013van den Dries, Lou; Ribenboim, Paulo 8 1984 Analytic Hardy fields and exponential curves in the real plane. Zbl 0597.26002van den Dries, Lou 4 1984 On Skolem’s exponential functions below \(2^{2^ X}\). Zbl 0556.03036van den Dries, Lou; Levitz, Hilbert 2 1984 Elimination of quantifiers in algebraic structures. Zbl 0531.03016Macintyre, Angus J.; McKenna, Kenneth; van den Dries, Lou 34 1983 Injective polynomial maps and the Jacobian conjecture. Zbl 0513.13007Connell, E.; van den Dries, Lou 9 1983 Some applications of a model theoretic fact to (semi-)algebraic geometry. Zbl 0538.14017van den Dries, Lou 14 1982 A specialization theorem for analytic functions on compact sets. Zbl 0526.30004van den Dries, Lou 8 1982 Elementary equivalence and the commutator subgroup. Zbl 0504.03006van den Dries, L. P. D.; Glass, A. M. W.; Macintyre, Angus J.; Mekler, Alan H.; Poland, John 1 1982 Subgroups of free profinite groups and large subfields of Q. Zbl 0485.20021Lubotzky, Alexander; van den Dries, Lou 30 1981 Decidability and undecidability theorems for PAC-fields. Zbl 0466.12017Cherlin, Gregory; van den Dries, Lou; Macintyre, Angus J. 19 1981 Quantifier elimination for linear formulas over ordered and valued fields. Zbl 0479.03018Van den Dries, Lou 12 1981 Which curves over Z have points with coordinates in a discrete ordered ring? Zbl 0464.10047van den Dries, Lou 5 1981 A specialization theorem for p-adic power series converging on the closed unit disc. Zbl 0511.12018van den Dries, Lou 5 1981 A linearly ordered ring whose theory admits elimination of quantifiers is a real closed field. Zbl 0397.06017van den Dries, L. P. D. 4 1980 Some model theory and number theory for models of weak systems of arithmetic. Zbl 0454.03034van den Dries, Lou 2 1980 Ultraproducts and approximation in local rings. I. Zbl 0416.13004Becker, Joseph; Denef, J.; Lipshitz, L.; Van den Dries, Lou 32 1979 New decidable fields of algebraic numbers. Zbl 0396.12020van den Dries, Lou 4 1979 Application de la théorie des modeles aux groupes de Galois de corps de fonctions. Zbl 0426.12004Van den Dries, Lou; Ribenboim, Paulo 3 1979 Algorithms and bounds for polynomial rings. Zbl 0461.13015van den Dries, Lou 2 1979 Artin-Schreier theory for commutative regular rings. Zbl 0376.13012Van den Dries, Lou 7 1977 all cited Publications top 5 cited Publications all top 5 Cited by 1,099 Authors 38 van den Dries, Lou 29 Cluckers, Raf 25 Miller, Chris 23 Peterzil, Ya’acov 22 Edmundo, Mário J. 20 Eleftheriou, Pantelis E. 18 Aschenbrenner, Matthias 18 Phạm Tiên So’n 18 Pillay, Anand 18 Rolin, Jean-Philippe 17 Kaiser, Tobias 17 Point, Françoise 17 Starchenko, Sergei 15 Fischer, Andreas 15 Hieronymi, Philipp 15 Speissegger, Patrick 14 Macintyre, Angus John 14 Macpherson, Dugald 13 Halupczok, Immanuel 13 Pila, Jonathan 13 Schoutens, Hans 12 Hrushovski, Ehud 12 Kuhlmann, Salma 11 Bolte, Jérôme 11 Pierzchała, Rafał 11 Walsberg, Erik 10 Berarducci, Alessandro 10 Drusvyatskiy, Dmitriy 10 Haskell, Deirdre 10 Hasson, Assaf 10 Lewis, Adrian S. 10 Lion, Jean-Marie 10 Matusinski, Mickaël 10 Sanz Sánchez, Fernando 10 Servi, Tamara 10 Valette, Guillaume 9 Basu, Saugata 9 Berenstein, Alexander 9 Fornasiero, Antongiulio 9 Fujita, Masato 9 Le Gal, Olivier 9 Lubotzky, Alexander 9 Prelli, Luca 9 Steinhorn, Charles I. 9 van der Hoeven, Joris 8 Cubides Kovacsics, Pablo 8 Göral, Haydar 8 Jarden, Moshe 8 Kaplan, Elliot 8 Onshuus, Alf Angel 8 Thamrongthanyalak, Athipat 8 Tressl, Marcus 8 Vassiliev, Evgueni V. 8 Wilkie, Alex James 7 Bélair, Luc 7 Daniilidis, Aris 7 Gaubert, Stéphane 7 Günaydın, Ayhan 7 Hoffmann, Daniel Max 7 Ioffe, Alexander Davidovich 7 Kuhlmann, Franz-Viktor 7 León Sánchez, Omar 7 Loeser, François 7 Mamino, Marcello 7 Maříková, Jana 7 Marker, David E. 7 Shiota, Masahiro 7 Tsimerman, Jacob 7 Wu, Chunlin 6 Baro, Elías 6 Bianconi, Ricardo 6 Bowditch, Brian H. 6 Brihaye, Thomas 6 Chatzidakis, Zoé Maria 6 Chernikov, Artem 6 Denef, Jan 6 Dinh, Si Tiep 6 Fichou, Goulwen 6 Gehret, Allen 6 Guzy, Nicolas 6 Haran, Dan 6 Kurdyka, Krzysztof 6 Leenknegt, Eva 6 Lipshitz, Leonard 6 Otero, Margarita 6 Pauwels, Edouard Jean Robert 6 Pawłucki, Wiesław 6 Popescu, Dorin 6 Sapir, Mark Valentinovich 6 Scowcroft, Philip 6 Tari, Somayyeh 6 Terzo, Giuseppina 6 Toffalori, Carlo 6 Ye, Jinhe 5 Bernig, Andreas 5 Binyamini, Gal 5 Comte, Georges 5 D’Aquino, Paola 5 Dolich, Alfred 5 du Sautoy, Marcus P. F. ...and 999 more Authors all top 5 Cited in 241 Serials 112 The Journal of Symbolic Logic 101 Annals of Pure and Applied Logic 61 Journal of Algebra 50 Proceedings of the American Mathematical Society 45 Israel Journal of Mathematics 44 Transactions of the American Mathematical Society 37 Archive for Mathematical Logic 35 Advances in Mathematics 35 Journal of Pure and Applied Algebra 29 Mathematical Logic Quarterly (MLQ) 27 Annales de l’Institut Fourier 20 The Bulletin of Symbolic Logic 18 Notre Dame Journal of Formal Logic 18 Journal of Symbolic Computation 18 Journal of Mathematical Logic 18 Comptes Rendus. Mathématique. Académie des Sciences, Paris 17 Manuscripta Mathematica 17 Selecta Mathematica. New Series 16 Duke Mathematical Journal 16 SIAM Journal on Optimization 15 Inventiones Mathematicae 15 Mathematische Annalen 14 Communications in Algebra 14 Compositio Mathematica 14 Theoretical Computer Science 14 Mathematical Programming. Series A. Series B 13 Bulletin of the American Mathematical Society. New Series 11 Journal of Mathematical Analysis and Applications 11 Illinois Journal of Mathematics 11 Journal für die Reine und Angewandte Mathematik 11 Mathematische Zeitschrift 11 Journal of the Institute of Mathematics of Jussieu 10 Journal of Optimization Theory and Applications 10 Journal of the American Mathematical Society 10 Annals of Mathematics. Second Series 10 Journal of the European Mathematical Society (JEMS) 9 Archiv der Mathematik 9 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI 8 Geometriae Dedicata 8 Discrete & Computational Geometry 8 International Journal of Algebra and Computation 7 Fundamenta Mathematicae 7 Pacific Journal of Mathematics 7 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM 6 Bulletin of the London Mathematical Society 6 Journal of Differential Equations 6 Proceedings of the Edinburgh Mathematical Society. Series II 6 Geometry & Topology 6 Advances in Geometry 6 Set-Valued and Variational Analysis 6 Forum of Mathematics, Sigma 5 Annales Scientifiques de l’École Normale Supérieure. Quatrième Série 5 Journal of Computer and System Sciences 5 Journal of the London Mathematical Society. Second Series 5 Journal of Logic and Analysis 4 Mathematical Proceedings of the Cambridge Philosophical Society 4 Annales Polonici Mathematici 4 Publications Mathématiques 4 Mathematics of Operations Research 4 Proceedings of the London Mathematical Society. Third Series 4 Topology and its Applications 4 Journal of Complexity 4 The Journal of Geometric Analysis 4 Geometric and Functional Analysis. GAFA 4 Journal de Mathématiques Pures et Appliquées. Neuvième Série 4 Theory of Computing Systems 4 Foundations of Computational Mathematics 4 Central European Journal of Mathematics 3 Journal d’Analyse Mathématique 3 Algebra and Logic 3 Journal of Mathematical Economics 3 Nagoya Mathematical Journal 3 Revista Matemática Iberoamericana 3 Linear Algebra and its Applications 3 Journal of Mathematical Imaging and Vision 3 Revista Matemática Complutense 3 RAIRO. Theoretical Informatics and Applications 3 Algebraic & Geometric Topology 3 Journal of Algebra and its Applications 3 Groups, Geometry, and Dynamics 3 Journal of Singularities 2 Bulletin of the Australian Mathematical Society 2 Discrete Mathematics 2 Inverse Problems 2 Mathematical Notes 2 Rocky Mountain Journal of Mathematics 2 Acta Mathematica 2 Acta Mathematica Vietnamica 2 American Journal of Mathematics 2 The Annals of Probability 2 Canadian Mathematical Bulletin 2 Commentarii Mathematici Helvetici 2 Journal of Functional Analysis 2 Journal of the Mathematical Society of Japan 2 Journal of Number Theory 2 Mathematische Nachrichten 2 Mathematika 2 Memoirs of the American Mathematical Society 2 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 2 Proceedings of the Japan Academy. Series A ...and 141 more Serials all top 5 Cited in 54 Fields 819 Mathematical logic and foundations (03-XX) 349 Algebraic geometry (14-XX) 327 Field theory and polynomials (12-XX) 184 Several complex variables and analytic spaces (32-XX) 174 Number theory (11-XX) 156 Group theory and generalizations (20-XX) 118 Commutative algebra (13-XX) 99 Computer science (68-XX) 81 Real functions (26-XX) 70 Order, lattices, ordered algebraic structures (06-XX) 66 Operations research, mathematical programming (90-XX) 63 Calculus of variations and optimal control; optimization (49-XX) 50 Topological groups, Lie groups (22-XX) 49 Global analysis, analysis on manifolds (58-XX) 48 Manifolds and cell complexes (57-XX) 45 Differential geometry (53-XX) 39 Combinatorics (05-XX) 39 General topology (54-XX) 39 Numerical analysis (65-XX) 37 Ordinary differential equations (34-XX) 36 Dynamical systems and ergodic theory (37-XX) 34 Associative rings and algebras (16-XX) 27 Functions of a complex variable (30-XX) 26 Algebraic topology (55-XX) 20 Functional analysis (46-XX) 18 Convex and discrete geometry (52-XX) 15 General and overarching topics; collections (00-XX) 15 Measure and integration (28-XX) 13 Approximations and expansions (41-XX) 12 Probability theory and stochastic processes (60-XX) 11 Category theory; homological algebra (18-XX) 11 Geometry (51-XX) 11 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 11 Information and communication theory, circuits (94-XX) 10 Linear and multilinear algebra; matrix theory (15-XX) 9 Partial differential equations (35-XX) 9 Operator theory (47-XX) 8 History and biography (01-XX) 7 Harmonic analysis on Euclidean spaces (42-XX) 7 Statistics (62-XX) 7 Systems theory; control (93-XX) 6 General algebraic systems (08-XX) 5 Special functions (33-XX) 5 Quantum theory (81-XX) 4 Potential theory (31-XX) 4 Difference and functional equations (39-XX) 4 Abstract harmonic analysis (43-XX) 3 Nonassociative rings and algebras (17-XX) 3 \(K\)-theory (19-XX) 3 Integral transforms, operational calculus (44-XX) 3 Statistical mechanics, structure of matter (82-XX) 2 Mechanics of particles and systems (70-XX) 1 Sequences, series, summability (40-XX) 1 Biology and other natural sciences (92-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.