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