Algebraic Theories with Definable Skolem Functions. - Lou van den Dries (J. Symb. Log., 1984)

Decidable Regularly Closed Fields of Algebraic Numbers. - Lou van den Dries; Rick L. Smith (J. Symb. Log., 1985)

An application of tarskis principle to absolute Galois groups of function fields. - Lou van den Dries; Paulo Ribenboim (Ann. Pure Appl. Log., 1987)

Alfred Tarski's Elimination Theory for Real Closed Fields. - Lou van den Dries (J. Symb. Log., 1988)

On the Elementary Theory of Restricted Elementary Functions. - Lou van den Dries (J. Symb. Log., 1988)

On the Structure of Semialgebraic Sets Over p-Adic Fields. - Philip Scowcroft; Lou van den Dries (J. Symb. Log., 1988)

Dimension of Definable Sets, Algebraic Boundedness and Henselian Fields. - Lou van den Dries (Ann. Pure Appl. Log., 1989)

Definable Equivalence Relations on Algebraically Closed Fields. - Lou van den Dries; David Marker; Gary Martin (J. Symb. Log., 1989)

Quantifier Elimination for Modules with Scalar Variables. - Lou van den Dries; Jan E. Holly (Ann. Pure Appl. Log., 1992)

T-Convexity and Tame Extensions. - Lou van den Dries; Adam H. Lewenberg (J. Symb. Log., 1995)

T-Convexity and Tame Extensions II. - Lou van den Dries (J. Symb. Log., 1997)

Correction to "T-Convexity and Tame Extensions II". - Lou van den Dries (J. Symb. Log., 1998)

Logarithmic-exponential series. - Lou van den Dries; Angus Macintyre; David Marker (Ann. Pure Appl. Log., 2001)

Generating the Greatest Common Divisor, and Limitations of Primitive Recursive Algorithms. - Lou van den Dries (Found. Comput. Math., 2003)

The laws of integer divisibility, and solution sets of linear divisibility conditions. - Lou van den Dries; A. J. Wilkie (J. Symb. Log., 2003)

Is the Euclidean algorithm optimal among its peers? - Lou van den Dries; Yiannis N. Moschovakis (Bull. Symb. Log., 2004)

Arithmetic complexity. - Lou van den Dries; Yiannis N. Moschovakis (ACM Trans. Comput. Log., 2009)

Division rings whose vector spaces are pseudofinite. - Vinicius Cifú Lopes; Lou van den Dries (J. Symb. Log., 2010)

Invariant measures on groups satisfying various chain conditions. - Vinicius Cifú Lopes; Lou van den Dries (J. Symb. Log., 2011)

Toward a Model Theory for Transseries. - Matthias Aschenbrenner; Lou van den Dries; Joris van der Hoeven (Notre Dame J. Formal Log., 2013)