Lou van den Dries

According to our database, Lou van den Dries authored at least 20 papers between 1984 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

Toward a Model Theory for Transseries.

Matthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven

Notre Dame J. Formal Log., 2013

2011

Invariant measures on groups satisfying various chain conditions.

Vinicius Cifú Lopes, Lou van den Dries

J. Symb. Log., 2011

2010

Division rings whose vector spaces are pseudofinite.

Vinicius Cifú Lopes, Lou van den Dries

J. Symb. Log., 2010

2009

Arithmetic complexity.

Lou van den Dries, Yiannis N. Moschovakis

ACM Trans. Comput. Log., 2009

2004

Is the Euclidean algorithm optimal among its peers?

Lou van den Dries, Yiannis N. Moschovakis

Bull. Symb. Log., 2004

2003

The laws of integer divisibility, and solution sets of linear divisibility conditions.

Lou van den Dries, A. J. Wilkie

J. Symb. Log., 2003

Generating the Greatest Common Divisor, and Limitations of Primitive Recursive Algorithms.

Lou van den Dries

Found. Comput. Math., 2003

2001

Logarithmic-exponential series.

Lou van den Dries, Angus Macintyre, David Marker

Ann. Pure Appl. Log., 2001

1998

Correction to "T-Convexity and Tame Extensions II".

Lou van den Dries

J. Symb. Log., 1998

1997

T-Convexity and Tame Extensions II.

Lou van den Dries

J. Symb. Log., 1997

1995

T-Convexity and Tame Extensions.

Lou van den Dries, Adam H. Lewenberg

J. Symb. Log., 1995

1992

Quantifier Elimination for Modules with Scalar Variables.

Lou van den Dries, Jan E. Holly

Ann. Pure Appl. Log., 1992

1989

Definable Equivalence Relations on Algebraically Closed Fields.

Lou van den Dries, David Marker, Gary Martin

J. Symb. Log., 1989

Dimension of Definable Sets, Algebraic Boundedness and Henselian Fields.

Lou van den Dries

Ann. Pure Appl. Log., 1989

1988

On the Structure of Semialgebraic Sets Over p-Adic Fields.

Philip Scowcroft, Lou van den Dries

J. Symb. Log., 1988

On the Elementary Theory of Restricted Elementary Functions.

Lou van den Dries

J. Symb. Log., 1988

Alfred Tarski's Elimination Theory for Real Closed Fields.

Lou van den Dries

J. Symb. Log., 1988

1987

An application of tarskis principle to absolute Galois groups of function fields.

Lou van den Dries, Paulo Ribenboim

Ann. Pure Appl. Log., 1987

1985

Decidable Regularly Closed Fields of Algebraic Numbers.

Lou van den Dries, Rick L. Smith

J. Symb. Log., 1985

1984

Algebraic Theories with Definable Skolem Functions.

Lou van den Dries

J. Symb. Log., 1984