Lou van den Dries

21 papers Journal 21
YearRankTypeTitle / Venue / Authors
2026 J jnl
Truncation Structures.
Order
Lou van den Dries
2013 J jnl
Toward a Model Theory for Transseries.
Notre Dame J. Formal Log.
Matthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven
2011 J jnl
Invariant measures on groups satisfying various chain conditions.
J. Symb. Log.
Vinicius Cifú Lopes, Lou van den Dries
2010 J jnl
Division rings whose vector spaces are pseudofinite.
J. Symb. Log.
Vinicius Cifú Lopes, Lou van den Dries
2009 J jnl
Arithmetic complexity.
ACM Trans. Comput. Log.
Lou van den Dries, Yiannis N. Moschovakis
2004 J jnl
Is the Euclidean algorithm optimal among its peers?
Bull. Symb. Log.
Lou van den Dries, Yiannis N. Moschovakis
2003 J jnl
Generating the Greatest Common Divisor, and Limitations of Primitive Recursive Algorithms.
Found. Comput. Math.
Lou van den Dries
2003 J jnl
The laws of integer divisibility, and solution sets of linear divisibility conditions.
J. Symb. Log.
Lou van den Dries, A. J. Wilkie
2001 J jnl
Logarithmic-exponential series.
Ann. Pure Appl. Log.
Lou van den Dries, Angus Macintyre, David Marker
1998 J jnl
Correction to "T-Convexity and Tame Extensions II".
J. Symb. Log.
Lou van den Dries
1997 J jnl
T-Convexity and Tame Extensions II.
J. Symb. Log.
Lou van den Dries
1995 J jnl
T-Convexity and Tame Extensions.
J. Symb. Log.
Lou van den Dries, Adam H. Lewenberg
1992 J jnl
Quantifier Elimination for Modules with Scalar Variables.
Ann. Pure Appl. Log.
Lou van den Dries, Jan E. Holly
1989 J jnl
Definable Equivalence Relations on Algebraically Closed Fields.
J. Symb. Log.
Lou van den Dries, David Marker, Gary Martin
1989 J jnl
Dimension of Definable Sets, Algebraic Boundedness and Henselian Fields.
Ann. Pure Appl. Log.
Lou van den Dries
1988 J jnl
Alfred Tarski's Elimination Theory for Real Closed Fields.
J. Symb. Log.
Lou van den Dries
1988 J jnl
On the Elementary Theory of Restricted Elementary Functions.
J. Symb. Log.
Lou van den Dries
1988 J jnl
On the Structure of Semialgebraic Sets Over p-Adic Fields.
J. Symb. Log.
Philip Scowcroft, Lou van den Dries
1987 J jnl
An application of tarskis principle to absolute Galois groups of function fields.
Ann. Pure Appl. Log.
Lou van den Dries, Paulo Ribenboim
1985 J jnl
Decidable Regularly Closed Fields of Algebraic Numbers.
J. Symb. Log.
Lou van den Dries, Rick L. Smith
1984 J jnl
Algebraic Theories with Definable Skolem Functions.
J. Symb. Log.
Lou van den Dries