Lou van den Dries

发表

Arithmetic complexity

Yiannis N. Moschovakis, Lou van den Dries, L. Dries, 2019, TOCL.

Correction to "T-Convexity and Tame Extensions II"

Lou van den Dries, 1998, J. Symb. Log..

Dimension of Definable Sets, Algebraic Boundedness and Henselian Fields

Lou van den Dries, L. Dries, 1989, Ann. Pure Appl. Log..

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

Lou van den Dries, A. J. Wilkie, 2003, J. Symb. Log..

Alfred Tarski's Elimination Theory for Real Closed Fields

Lou van den Dries, L. Dries, 1988, J. Symb. Log..

Invariant measures on groups satisfying various chain conditions

Lou van den Dries, Vinicius Cifú Lopes, 2011, J. Symb. Log..

Is the Euclidean Algorithm Optimal Among its Peers?

Yiannis N. Moschovakis, Lou van den Dries, L. Dries, 2004, Bulletin of Symbolic Logic.

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

Lou van den Dries, 2003, Found. Comput. Math..

Algebraic Theories with Definable Skolem Functions

Lou van den Dries, L. Dries, 1984, J. Symb. Log..

Toward a Model Theory for Transseries

Joris van der Hoeven, Lou van den Dries, Matthias Aschenbrenner, 2011, Notre Dame J. Formal Log..

T-Convexity and Tame Extensions

Lou van den Dries, Adam H. Lewenberg, 1995, J. Symb. Log..

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

Lou van den Dries, Paulo Ribenboim, L. Dries, 1987, Ann. Pure Appl. Log..

Definable equivalence relations on algebraically closed fields

Gary Martin, Lou van den Dries, David Marker, 1989, Journal of Symbolic Logic.

Logarithmic-exponential series

Angus Macintyre, Lou van den Dries, David Marker, 2001, Ann. Pure Appl. Log..

CONVENTIONS AND NOTATIONS

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

On the structure of semialgebraic sets over p-adic fields

Philip Scowcroft, Lou van den Dries, L. Dries, 1988, Journal of Symbolic Logic.

On the Elementary Theory of Restricted Elementary Functions

Lou van den Dries, 1988, J. Symb. Log..

Division rings whose vector spaces are pseudofinite

Lou van den Dries, Vinicius Cifú Lopes, 2010, J. Symb. Log..

Quantifier Elimination for Modules with Scalar Variables

Lou van den Dries, Jan Holly, 1992, Ann. Pure Appl. Log..

T-Convexity and Tame Extensions II

Lou van den Dries, 1997, J. Symb. Log..

Decidable regularly closed fields of algebraic numbers

Lou van den Dries, Rick L. Smith, L. Dries, 1985, Journal of Symbolic Logic.

On a Differential Intermediate Value Property

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

Revisiting closed asymptotic couples

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

Some model theory and number theory for models of weak systems of arithmetic

Lou van den Dries, 1980 .

The Field of Reals with Multisummable Series and the Exponential Function

Lou van den Dries, Patrick Speissegger, L. Dries, 2000 .

ONE-DIMENSIONAL p -ADIC SUBANALYTIC SETS

Deirdre Haskell, Lou van den Dries, Dugald Macpherson, 1999 .

Asymptotic differential algebra

Lou van den Dries, Matthias Aschenbrenner, L. Dries, 2005 .

Fields of surreal numbers and exponentiation

Lou van den Dries, Philip Ehrlich, L. Dries, 2001 .

Erratum to "Fields of surreal numbers and exponentiation" (Fund. Math. 167 (2001), 173-188)

Lou van den Dries, Philip Ehrlich, L. Dries, 2001 .

Exponential rings, exponential polynomials and exponential functions

Lou van den Dries, L. Dries, 1984 .

The Fields of Real and Complex Numbers with a Small Multiplicative Group

Lou van den Dries, Ayhan Günaydin, Ayhan Günaydin, 2006 .

Tarski's Problem and Pfaffian Functions

Lou van den Dries, 1986 .

Elementary theory of valued fields with a valuation-preserving automorphism

Lou van den Dries, L. Dries, Salih Azgin, 2010, Journal of the Institute of Mathematics of Jussieu.

Closed asymptotic couples

Lou van den Dries, Matthias Aschenbrenner, 2000 .

Convergent Series Expansions of a New Type for Exponential Functions

Lou van den Dries, 1989 .

Logarithmic‐Exponential Power Series

Angus Macintyre, Lou van den Dries, David Marker, 1997 .

Decidability and undecidability theorems for PAC-fields

Lou van den Dries, Gregory Cherlin, A. Macintyre, 1981 .

The field of reals with a predicate for the powers of two

Lou van den Dries, L. Dries, 1985 .

THE REAL FIELD WITH CONVERGENT GENERALIZED POWER SERIES

Lou van den Dries, Patrick Speissegger, L. Dries, 1998 .

A remark on Ax's theorem on solvability modulo primes

Lou van den Dries, L. Dries, 1991 .

o-Minimal structures

Lou van den Dries, 1996 .

Dense pairs of o-minimal structures

Lou van den Dries, 1998 .

Differentially algebraic gaps

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

Multiplex PCR amplification from the CFTR gene using DNA prepared from buccal brushes/swabs

Lou van den Dries, L. Dries, 1986 .