Lou van den Dries

Publication Activity (10 Years)

Years Active: 1984-2013
Publications (10 Years): 0

Top Topics

Mathematical Framework

Parameter Values

Statistical Model

Top Venues

Notre Dame J. Formal Log.

Publications

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