×

zbMATH — the first resource for mathematics

van den Dries, Lou

Compute Distance To:
Author ID: van-den-dries.lou Recent zbMATH articles by "van den Dries, Lou"
Published as: Van den Dries, Lou; van den Dries, L.; van den Dries, L. P. D.; van den Dries, Lou
External Links: MGP · Wikidata · GND
Documents Indexed: 113 Publications since 1977, including 3 Books
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 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 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 London Mathematical Society Lecture Note Series

Publications by Year

Citations contained in zbMATH

94 Publications have been cited 1,882 times in 1,149 Documents Cited by Year
Tame topology and o-minimal structures. Zbl 0953.03045
van den Dries, Lou
346
1998
Geometric categories and o-minimal structures. Zbl 0889.03025
van den Dries, Lou; Miller, Chris
195
1996
\(p\)-adic and real subanalytic sets. Zbl 0693.14012
Denef, J.; van den Dries, Lou
118
1988
The elementary theory of restricted analytic fields with exponentiation. Zbl 0837.12006
van den Dries, Lou; Macintyre, Angus; Marker, David
93
1994
Gromov’s theorem on groups of polynomial growth and elementary logic. Zbl 0552.20017
van den Dries, Lou; Wilkie, A. J.
70
1984
A generalization of the Tarski-Seidenberg theorem, and some nondefinability results. Zbl 0612.03008
van den Dries, Lou
56
1986
On the real exponential field with restricted analytic functions. Zbl 0823.03017
van den Dries, Lou; Miller, Chris
49
1994
The real field with convergent generalized power series. Zbl 0905.03022
van den Dries, Lou; Speissegger, Patrick
44
1998
The field of reals with multisummable series and the exponential function. Zbl 1062.03029
van den Dries, Lou; Speissegger, Patrick
39
2000
Bounds in the theory of polynomial rings over fields. A nonstandard approach. Zbl 0539.13011
van den Dries, Lou; Schmidt, K.
37
1984
Dense pairs of o-minimal structures. Zbl 0906.03036
van den Dries, Lou
34
1998
Dimension of definable sets, algebraic boundedness and Henselian fields. Zbl 0704.03017
van den Dries, Lou
34
1989
Definable sets over finite fields. Zbl 0759.11045
Chatzidakis, Zoé; van den Dries, Lou; Macintyre, Angus
32
1992
Elimination of quantifiers in algebraic structures. Zbl 0531.03016
Macintyre, Angus J.; McKenna, Kenneth; van den Dries, Lou
32
1983
Logarithmic-exponential power series. Zbl 0924.12007
van den Dries, Lou; Macintyre, Angus; Marker, David
30
1997
The fields of real and complex numbers with a small multiplicative group. Zbl 1101.03028
van den Dries, Lou; Günaydin, Ayhan
28
2006
On the structure of semialgebraic sets over p-adic fields. Zbl 0692.14014
Scowcroft, Philip; van den Dries, Lou
28
1988
Subgroups of free profinite groups and large subfields of Q. Zbl 0485.20021
Lubotzky, Alexander; van den Dries, Lou
27
1981
Ultraproducts and approximation in local rings. I. Zbl 0416.13004
Becker, Joseph; Denef, J.; Lipshitz, L.; Van den Dries, Lou
26
1979
Algebraic theories with definable Skolem functions. Zbl 0596.03032
van den Dries, Lou
25
1984
One-dimensional \(p\)-adic subanalytic sets. Zbl 0932.03038
van den Dries, Lou; Haskell, Deirdre; MacPherson, Dugald
23
1999
Logarithmic-exponential series. Zbl 0998.12014
van den Dries, Lou; Macintyre, Angus; Marker, David
22
2001
Asymptotic differential algebra and model theory of transseries. Zbl 1430.12002
Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris
21
2017
\(T\)-convexity and tame extensions. II. Zbl 0922.03055
van den Dries, Lou
21
1997
The field of reals with a predicate for the powers of two. Zbl 0631.03020
van den Dries, Lou
21
1986
On the elementary theory of restricted elementary functions. Zbl 0698.03023
van den Dries, Lou
20
1988
Alfred Tarski’s elimination theory for real closed fields. Zbl 0651.03001
van den Dries, Lou
19
1988
\(T\)-convexity and tame extensions. Zbl 0856.03028
van den Dries, Lou; Lewenberg, Adam H.
18
1995
Elimination theory for the ring of algebraic integers. Zbl 0659.12021
van den Dries, Lou
17
1988
Remarks on Tarski’s problem concerning \(({\mathbb{R}},+,\cdot,\exp)\). Zbl 0585.03006
van den Dries, Lou
17
1984
Fields of surreal numbers and exponentiation. Zbl 0974.03035
van den Dries, Lou; Ehrlich, Philip
16
2001
Exponential rings, exponential polynomials and exponential functions. Zbl 0603.13019
van den Dries, Lou
16
1984
o-minimal structures. Zbl 0861.03028
van den Dries, Lou
15
1996
An effective bound for groups of linear growth. Zbl 0567.20016
Wilkie, A. J.; van den Dries, Lou
14
1984
Some applications of a model theoretic fact to (semi-)algebraic geometry. Zbl 0538.14017
van den Dries, Lou
14
1982
Decidability and undecidability theorems for PAC-fields. Zbl 0466.12017
Cherlin, Gregory; van den Dries, Lou; Macintyre, Angus J.
14
1981
Quantifier elimination for linear formulas over ordered and valued fields. Zbl 0479.03018
Van den Dries, Lou
12
1981
\(H\)-fields and their Liouville extensions. Zbl 1066.12002
Aschenbrenner, Matthias; van den Dries, Lou
11
2002
Closed asymptotic couples. Zbl 0974.12015
Aschenbrenner, Matthias; van den Dries, Lou
11
2000
O-minimal structures and real analytic geometry. Zbl 0980.03043
van den Dries, Lou
11
1999
Extending Tamm’s theorem. Zbl 0816.32004
van den Dries, Lou; Miller, Chris
11
1994
Analytic Ax-Kochen-Ershov theorems. Zbl 0835.03004
van den Dries, Lou
11
1992
The logic of Rumely’s local-global principle. Zbl 0703.13021
van den Dries, Lou; Macintyre, Angus
11
1990
o-minimal preparation theorems. Zbl 1081.03039
van den Dries, L.; Speissegger, P.
10
2002
Asymptotic differential algebra. Zbl 1087.12002
Aschenbrenner, Matthias; van den Dries, Lou
9
2005
Classical model theory of fields. Zbl 0986.03034
van den Dries, Lou
8
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
7
1984
Injective polynomial maps and the Jacobian conjecture. Zbl 0513.13007
Connell, E.; van den Dries, Lou
7
1983
Artin-Schreier theory for commutative regular rings. Zbl 0376.13012
Van den Dries, Lou
7
1977
Liouville closed \(H\)-fields. Zbl 1134.12004
Aschenbrenner, Matthias; van den Dries, Lou
6
2005
Generating the greatest common divisor, and limitations of primitive recursive algorithms. Zbl 1019.03027
van den Dries, L.
6
2003
Lectures on the model theory of valued fields. Zbl 1347.03074
van den Dries, Lou
5
2014
Toward a model theory for transseries. Zbl 1314.03037
Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris
5
2013
Elementary theory of valued fields with a valuation-preserving automorphism. Zbl 1235.03068
Azgin, Salih; van den Dries, Lou
5
2011
Mann pairs. Zbl 1192.03011
van den Dries, Lou; Günaydin, Ayhan
5
2010
Tarski’s problem and Pfaffian functions. Zbl 0616.03018
van den Dries, Lou
5
1986
A specialization theorem for p-adic power series converging on the closed unit disc. Zbl 0511.12018
van den Dries, Lou
5
1981
Which curves over Z have points with coordinates in a discrete ordered ring? Zbl 0464.10047
van den Dries, Lou
5
1981
Differentially algebraic gaps. Zbl 1151.12002
Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris
4
2005
Surjective polynomial maps, and a remark on the Jacobian problem. Zbl 0714.14013
McKenna, Ken; van den Dries, Lou
4
1990
Analytic Hardy fields and exponential curves in the real plane. Zbl 0597.26002
van den Dries, Lou
4
1984
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
A Polish group without Lie sums. Zbl 1181.22006
van den Dries, Lou; Gao, Su
3
2009
Images of additive polynomials in \(\mathbb{F}_q((t))\) have the optimal approximation property. Zbl 1009.12008
van den Dries, Lou; Kuhlmann, Franz-Viktor
3
2002
A remark on Ax’s theorem on solvability modulo primes. Zbl 0744.11064
van den Dries, Lou
3
1991
Some model theory and number theory for models of weak systems of arithmetic. Zbl 0454.03034
van den Dries, Lou
3
1980
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
New decidable fields of algebraic numbers. Zbl 0396.12020
van den Dries, Lou
3
1979
The surreal numbers as a universal \(H\)-field. Zbl 07047496
Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris
2
2019
Triangulation in o-minimal fields with standard part map. Zbl 1221.03030
van den Dries, Lou; Maříková, Jana
2
2010
Globalizing locally compact local groups. Zbl 1203.22006
van den Dries, Lou; Goldbring, Isaac
2
2010
Arithmetic complexity. Zbl 1367.68116
van den Dries, Lou; Moschovakis, Yiannis N.
2
2009
Is the Euclidean algorithm optimal among its peers? Zbl 1095.03025
van den Dries, Lou; Moschovakis, Yiannis N.
2
2004
The laws of integer divisibility, and solution sets of linear divisibility conditions. Zbl 1056.03020
van den Dries, L.; Wilkie, A. J.
2
2003
Correction to ”On the real exponential field with restricted analytic functions”. Zbl 0973.03514
van den Dries, Lou; Miller, Chris
2
1995
Quantifier elimination for modules with scalar variables. Zbl 0772.03017
van den Dries, Lou; Holly, Jan
2
1992
Weil’s group chunk theorem: A topological setting. Zbl 0764.22001
van den Dries, L. P. D.
2
1990
A completeness theorem for trigonometric identities and various results on exponential functions. Zbl 0619.03012
van den Dries, Lou
2
1986
Algorithms and bounds for polynomial rings. Zbl 0461.13015
van den Dries, Lou
2
1979
Maximal immediate extensions of valued differential fields. Zbl 1437.12003
Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris
1
2018
Erratum to “Globalizing locally compact local groups”. Zbl 1242.22005
van den Dries, Lou; Goldbring, Isaac
1
2012
Definable sets in Mann pairs. Zbl 1243.03054
van den Dries, Lou; Günaydin, Ayhan
1
2011
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
Isomorphism of complete local noetherian rings and strong approximation. Zbl 1154.13006
van den Dries, Lou
1
2008
An intermediate value property for first-order differential polynomials. Zbl 0994.26005
van den Dries, Lou
1
2000
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
1
1999
o-minimal structures on the field of real numbers. Zbl 0854.03036
van den Dries, Lou
1
1996
Convergent series expansions of a new type for exponential functions. Zbl 0709.13011
van den Dries, Lou
1
1989
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
On Skolem’s exponential functions below \(2^{2^ X}\). Zbl 0556.03036
van den Dries, Lou; Levitz, Hilbert
1
1984
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
The surreal numbers as a universal \(H\)-field. Zbl 07047496
Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris
2
2019
Maximal immediate extensions of valued differential fields. Zbl 1437.12003
Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris
1
2018
Asymptotic differential algebra and model theory of transseries. Zbl 1430.12002
Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris
21
2017
Lectures on the model theory of valued fields. Zbl 1347.03074
van den Dries, Lou
5
2014
Toward a model theory for transseries. Zbl 1314.03037
Aschenbrenner, Matthias; van den Dries, Lou; van der Hoeven, Joris
5
2013
Erratum to “Globalizing locally compact local groups”. Zbl 1242.22005
van den Dries, Lou; Goldbring, Isaac
1
2012
Elementary theory of valued fields with a valuation-preserving automorphism. Zbl 1235.03068
Azgin, Salih; van den Dries, Lou
5
2011
Definable sets in Mann pairs. Zbl 1243.03054
van den Dries, Lou; Günaydin, Ayhan
1
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
Triangulation in o-minimal fields with standard part map. Zbl 1221.03030
van den Dries, Lou; Maříková, Jana
2
2010
Globalizing locally compact local groups. Zbl 1203.22006
van den Dries, Lou; Goldbring, Isaac
2
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
1
2008
The fields of real and complex numbers with a small multiplicative group. Zbl 1101.03028
van den Dries, Lou; Günaydin, Ayhan
28
2006
Asymptotic differential algebra. Zbl 1087.12002
Aschenbrenner, Matthias; van den Dries, Lou
9
2005
Liouville closed \(H\)-fields. Zbl 1134.12004
Aschenbrenner, Matthias; van den Dries, Lou
6
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.
2
2003
\(H\)-fields and their Liouville extensions. Zbl 1066.12002
Aschenbrenner, Matthias; van den Dries, Lou
11
2002
o-minimal preparation theorems. Zbl 1081.03039
van den Dries, L.; Speissegger, P.
10
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
3
2002
Logarithmic-exponential series. Zbl 0998.12014
van den Dries, Lou; Macintyre, Angus; Marker, David
22
2001
Fields of surreal numbers and exponentiation. Zbl 0974.03035
van den Dries, Lou; Ehrlich, Philip
16
2001
The field of reals with multisummable series and the exponential function. Zbl 1062.03029
van den Dries, Lou; Speissegger, Patrick
39
2000
Closed asymptotic couples. Zbl 0974.12015
Aschenbrenner, Matthias; van den Dries, Lou
11
2000
Classical model theory of fields. Zbl 0986.03034
van den Dries, Lou
8
2000
An intermediate value property for first-order differential polynomials. Zbl 0994.26005
van den Dries, Lou
1
2000
One-dimensional \(p\)-adic subanalytic sets. Zbl 0932.03038
van den Dries, Lou; Haskell, Deirdre; MacPherson, Dugald
23
1999
O-minimal structures and real analytic geometry. Zbl 0980.03043
van den Dries, Lou
11
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
1
1999
Tame topology and o-minimal structures. Zbl 0953.03045
van den Dries, Lou
346
1998
The real field with convergent generalized power series. Zbl 0905.03022
van den Dries, Lou; Speissegger, Patrick
44
1998
Dense pairs of o-minimal structures. Zbl 0906.03036
van den Dries, Lou
34
1998
Logarithmic-exponential power series. Zbl 0924.12007
van den Dries, Lou; Macintyre, Angus; Marker, David
30
1997
\(T\)-convexity and tame extensions. II. Zbl 0922.03055
van den Dries, Lou
21
1997
Geometric categories and o-minimal structures. Zbl 0889.03025
van den Dries, Lou; Miller, Chris
195
1996
o-minimal structures. Zbl 0861.03028
van den Dries, Lou
15
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.
18
1995
Correction to ”On the real exponential field with restricted analytic functions”. Zbl 0973.03514
van den Dries, Lou; Miller, Chris
2
1995
The elementary theory of restricted analytic fields with exponentiation. Zbl 0837.12006
van den Dries, Lou; Macintyre, Angus; Marker, David
93
1994
On the real exponential field with restricted analytic functions. Zbl 0823.03017
van den Dries, Lou; Miller, Chris
49
1994
Extending Tamm’s theorem. Zbl 0816.32004
van den Dries, Lou; Miller, Chris
11
1994
Definable sets over finite fields. Zbl 0759.11045
Chatzidakis, Zoé; van den Dries, Lou; Macintyre, Angus
32
1992
Analytic Ax-Kochen-Ershov theorems. Zbl 0835.03004
van den Dries, Lou
11
1992
Quantifier elimination for modules with scalar variables. Zbl 0772.03017
van den Dries, Lou; Holly, Jan
2
1992
A remark on Ax’s theorem on solvability modulo primes. Zbl 0744.11064
van den Dries, Lou
3
1991
The logic of Rumely’s local-global principle. Zbl 0703.13021
van den Dries, Lou; Macintyre, Angus
11
1990
Surjective polynomial maps, and a remark on the Jacobian problem. Zbl 0714.14013
McKenna, Ken; van den Dries, Lou
4
1990
Weil’s group chunk theorem: A topological setting. Zbl 0764.22001
van den Dries, L. P. D.
2
1990
Dimension of definable sets, algebraic boundedness and Henselian fields. Zbl 0704.03017
van den Dries, Lou
34
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
118
1988
On the structure of semialgebraic sets over p-adic fields. Zbl 0692.14014
Scowcroft, Philip; van den Dries, Lou
28
1988
On the elementary theory of restricted elementary functions. Zbl 0698.03023
van den Dries, Lou
20
1988
Alfred Tarski’s elimination theory for real closed fields. Zbl 0651.03001
van den Dries, Lou
19
1988
Elimination theory for the ring of algebraic integers. Zbl 0659.12021
van den Dries, Lou
17
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
56
1986
The field of reals with a predicate for the powers of two. Zbl 0631.03020
van den Dries, Lou
21
1986
Tarski’s problem and Pfaffian functions. Zbl 0616.03018
van den Dries, Lou
5
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.
70
1984
Bounds in the theory of polynomial rings over fields. A nonstandard approach. Zbl 0539.13011
van den Dries, Lou; Schmidt, K.
37
1984
Algebraic theories with definable Skolem functions. Zbl 0596.03032
van den Dries, Lou
25
1984
Remarks on Tarski’s problem concerning \(({\mathbb{R}},+,\cdot,\exp)\). Zbl 0585.03006
van den Dries, Lou
17
1984
Exponential rings, exponential polynomials and exponential functions. Zbl 0603.13019
van den Dries, Lou
16
1984
An effective bound for groups of linear growth. Zbl 0567.20016
Wilkie, A. J.; van den Dries, Lou
14
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
7
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
1
1984
Elimination of quantifiers in algebraic structures. Zbl 0531.03016
Macintyre, Angus J.; McKenna, Kenneth; van den Dries, Lou
32
1983
Injective polynomial maps and the Jacobian conjecture. Zbl 0513.13007
Connell, E.; van den Dries, Lou
7
1983
Some applications of a model theoretic fact to (semi-)algebraic geometry. Zbl 0538.14017
van den Dries, Lou
14
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
27
1981
Decidability and undecidability theorems for PAC-fields. Zbl 0466.12017
Cherlin, Gregory; van den Dries, Lou; Macintyre, Angus J.
14
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
5
1981
Which curves over Z have points with coordinates in a discrete ordered ring? Zbl 0464.10047
van den Dries, Lou
5
1981
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
Some model theory and number theory for models of weak systems of arithmetic. Zbl 0454.03034
van den Dries, Lou
3
1980
Ultraproducts and approximation in local rings. I. Zbl 0416.13004
Becker, Joseph; Denef, J.; Lipshitz, L.; Van den Dries, Lou
26
1979
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
New decidable fields of algebraic numbers. Zbl 0396.12020
van den Dries, Lou
3
1979
Algorithms and bounds for polynomial rings. Zbl 0461.13015
van den Dries, Lou
2
1979
Artin-Schreier theory for commutative regular rings. Zbl 0376.13012
Van den Dries, Lou
7
1977
all top 5

Cited by 903 Authors

34 van den Dries, Lou
23 Cluckers, Raf
22 Miller, Chris
21 Edmundo, Mário J.
20 Peterzil, Ya’acov
18 Pillay, Anand
15 Aschenbrenner, Matthias
15 Fischer, Andreas M.
15 Kaiser, Tobias
15 Point, Françoise
15 Rolin, Jean-Philippe
15 Starchenko, Sergei
14 Speissegger, Patrick
13 Eleftheriou, Pantelis E.
13 Macintyre, Angus John
13 Macpherson, Dugald
13 Phạm Tiên So’n
13 Pila, Jonathan
12 Hieronymi, Philipp
12 Schoutens, Hans
11 Hrushovski, Ehud
10 Kuhlmann, Salma
10 Lion, Jean-Marie
10 Prelli, Luca
9 Bolte, Jérôme
9 Haskell, Deirdre
9 Lewis, Adrian S.
9 Pierzchała, Rafał
9 Steinhorn, Charles I.
9 Wilkie, Alex James
8 Berenstein, Alexander
8 Drusvyatskiy, Dmitriy
8 Hasson, Assaf
8 Le Gal, Olivier
8 Lubotzky, Alexander
8 Matusinski, Mickaël
8 Onshuus, Alf Angel
7 Bélair, Luc
7 Berarducci, Alessandro
7 Gaubert, Stéphane
7 Günaydın, Ayhan
7 Halupczok, Immanuel
7 Ioffe, Alexander Davidovich
7 Jarden, Moshe
7 Kuhlmann, Franz-Viktor
7 Loeser, François
7 Marker, David E.
7 Sanz Sánchez, Fernando
7 Sapir, Mark Valentinovich
7 Servi, Tamara
7 Valette, Guillaume
7 van der Hoeven, Joris
7 Vassiliev, Evgueni V.
6 Basu, Saugata
6 Bianconi, Ricardo
6 Bowditch, Brian H.
6 Chatzidakis, Zoé Maria
6 Daniilidis, Aris
6 Denef, Jan
6 Fornasiero, Antongiulio
6 Fujita, Masato
6 Guzy, Nicolas
6 Haran, Dan
6 Leenknegt, Eva
6 Lipshitz, Leonard
6 Maříková, Jana
6 Otero, Margarita
6 Scowcroft, Philip
6 Shiota, Masahiro
6 Thamrongthanyalak, Athipat
6 Tressl, Marcus
6 Tsimerman, Jacob
5 Baro, Elías
5 Bernig, Andreas
5 Brihaye, Thomas
5 Comte, Georges
5 Cubides Kovacsics, Pablo
5 Druţu, Cornelia
5 du Sautoy, Marcus P. F.
5 Gabrielov, Andrei
5 Gehret, Allen
5 Kurdyka, Krzysztof
5 Laskowski, Michael Chris
5 Michaux, Christian
5 Pawłucki, Wiesław
5 Popescu, Dorin
5 Tari, Somayyeh
5 Tent, Katrin
5 Terzo, Giuseppina
5 Toffalori, Carlo
5 Walsberg, Erik
4 Allamigeon, Xavier
4 Behrstock, Jason A.
4 Çelikler, Y. Firat
4 da Cruz Neto, João Xavier
4 Eaves, B. Curtis
4 Ehrlich, Philip
4 Ershov, Yuriĭ Leonidovich
4 Fried, Michael David
4 Göral, Haydar
...and 803 more Authors
all top 5

Cited in 203 Serials

97 The Journal of Symbolic Logic
87 Annals of Pure and Applied Logic
56 Journal of Algebra
45 Proceedings of the American Mathematical Society
42 Transactions of the American Mathematical Society
38 Israel Journal of Mathematics
34 Journal of Pure and Applied Algebra
32 Archive for Mathematical Logic
29 Advances in Mathematics
24 Annales de l’Institut Fourier
21 Mathematical Logic Quarterly (MLQ)
19 The Bulletin of Symbolic Logic
18 Comptes Rendus. Mathématique. Académie des Sciences, Paris
17 Journal of Symbolic Computation
16 Manuscripta Mathematica
16 Selecta Mathematica. New Series
14 Communications in Algebra
14 Duke Mathematical Journal
14 Notre Dame Journal of Formal Logic
13 Mathematische Annalen
13 Theoretical Computer Science
13 Bulletin of the American Mathematical Society. New Series
12 Compositio Mathematica
12 Inventiones Mathematicae
10 Journal of the American Mathematical Society
10 Mathematical Programming. Series A. Series B
10 Journal of Mathematical Logic
10 Journal of the Institute of Mathematics of Jussieu
9 Illinois Journal of Mathematics
9 Mathematische Zeitschrift
9 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI
9 Annals of Mathematics. Second Series
8 Journal of Mathematical Analysis and Applications
8 Archiv der Mathematik
8 Journal of Optimization Theory and Applications
8 Journal für die Reine und Angewandte Mathematik
8 International Journal of Algebra and Computation
8 SIAM Journal on Optimization
7 Geometriae Dedicata
7 Discrete & Computational Geometry
6 Geometry & Topology
6 Advances in Geometry
5 Annales Scientifiques de l’École Normale Supérieure. Quatrième Série
5 Journal of Computer and System Sciences
5 Journal of Differential Equations
5 Topology and its Applications
5 Journal of the European Mathematical Society (JEMS)
5 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM
4 Mathematical Proceedings of the Cambridge Philosophical Society
4 Bulletin of the London Mathematical Society
4 Fundamenta Mathematicae
4 Publications Mathématiques
4 Mathematics of Operations Research
4 Proceedings of the London Mathematical Society. Third Series
4 Journal of Complexity
4 Geometric and Functional Analysis. GAFA
4 Journal de Mathématiques Pures et Appliquées. Neuvième Série
4 Theory of Computing Systems
3 Journal d’Analyse Mathématique
3 Nagoya Mathematical Journal
3 Proceedings of the Edinburgh Mathematical Society. Series II
3 The Journal of Geometric Analysis
3 Linear Algebra and its Applications
3 RAIRO. Theoretical Informatics and Applications
3 Algebraic & Geometric Topology
3 Foundations of Computational Mathematics
3 Central European Journal of Mathematics
3 Journal of Algebra and its Applications
3 Groups, Geometry, and Dynamics
3 Set-Valued and Variational Analysis
2 Discrete Mathematics
2 Mathematical Notes
2 Acta Mathematica
2 Acta Mathematica Vietnamica
2 Algebra and Logic
2 Annales Polonici Mathematici
2 Canadian Mathematical Bulletin
2 Commentarii Mathematici Helvetici
2 Journal of the London Mathematical Society. Second Series
2 Journal of Mathematical Economics
2 Journal of the Mathematical Society of Japan
2 Mathematische Nachrichten
2 Mathematika
2 Memoirs of the American Mathematical Society
2 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
2 Pacific Journal of Mathematics
2 Publications of the Research Institute for Mathematical Sciences, Kyoto University
2 Rendiconti del Seminario Matematico della Università di Padova
2 Information and Computation
2 Japan Journal of Industrial and Applied Mathematics
2 L’Enseignement Mathématique. 2e Série
2 Indagationes Mathematicae. New Series
2 Journal of Mathematical Imaging and Vision
2 Journal of Mathematical Sciences (New York)
2 Finite Fields and their Applications
2 Advances in Computational Mathematics
2 Annals of Mathematics and Artificial Intelligence
2 European Series in Applied and Industrial Mathematics (ESAIM): Control, Optimization and Calculus of Variations
2 Positivity
2 Revista Matemática Complutense
...and 103 more Serials
all top 5

Cited in 53 Fields

680 Mathematical logic and foundations (03-XX)
280 Field theory and polynomials (12-XX)
274 Algebraic geometry (14-XX)
142 Several complex variables and analytic spaces (32-XX)
141 Group theory and generalizations (20-XX)
135 Number theory (11-XX)
102 Commutative algebra (13-XX)
80 Computer science (68-XX)
61 Real functions (26-XX)
54 Order, lattices, ordered algebraic structures (06-XX)
47 Calculus of variations and optimal control; optimization (49-XX)
46 Manifolds and cell complexes (57-XX)
43 Topological groups, Lie groups (22-XX)
41 Operations research, mathematical programming (90-XX)
37 Differential geometry (53-XX)
35 Global analysis, analysis on manifolds (58-XX)
34 Ordinary differential equations (34-XX)
29 Dynamical systems and ergodic theory (37-XX)
28 Combinatorics (05-XX)
27 General topology (54-XX)
26 Associative rings and algebras (16-XX)
25 Numerical analysis (65-XX)
23 Functions of a complex variable (30-XX)
20 Algebraic topology (55-XX)
15 Functional analysis (46-XX)
13 General and overarching topics; collections (00-XX)
13 Convex and discrete geometry (52-XX)
11 Measure and integration (28-XX)
11 Geometry (51-XX)
10 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
9 Linear and multilinear algebra; matrix theory (15-XX)
9 Category theory; homological algebra (18-XX)
9 Probability theory and stochastic processes (60-XX)
8 History and biography (01-XX)
7 Partial differential equations (35-XX)
7 Operator theory (47-XX)
6 Harmonic analysis on Euclidean spaces (42-XX)
6 Information and communication theory, circuits (94-XX)
5 Special functions (33-XX)
5 Approximations and expansions (41-XX)
5 Statistics (62-XX)
5 Systems theory; control (93-XX)
4 \(K\)-theory (19-XX)
4 Potential theory (31-XX)
3 General algebraic systems (08-XX)
3 Difference and functional equations (39-XX)
3 Abstract harmonic analysis (43-XX)
3 Integral transforms, operational calculus (44-XX)
2 Nonassociative rings and algebras (17-XX)
2 Statistical mechanics, structure of matter (82-XX)
1 Sequences, series, summability (40-XX)
1 Mechanics of particles and systems (70-XX)
1 Quantum theory (81-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.