17 found
  1.  24
    Dimension of Definable Sets, Algebraic Boundedness and Henselian Fields.Lou Van den Dries - 1989 - Annals of Pure and Applied Logic 45 (2):189-209.
  2.  31
    T-Convexity and Tame Extensions II.Lou Van Den Dries - 1997 - Journal of Symbolic Logic 62 (1):14-34.
  3.  31
    On the Structure of Semialgebraic Sets Over P-Adic Fields.Philip Scowcroft & Lou van den Dries - 1988 - Journal of Symbolic Logic 53 (4):1138-1164.
  4.  33
    Algebraic Theories with Definable Skolem Functions.Lou van den Dries - 1984 - Journal of Symbolic Logic 49 (2):625-629.
  5.  35
    On the Elementary Theory of Restricted Elementary Functions.Lou van den Dries - 1988 - Journal of Symbolic Logic 53 (3):796-808.
  6.  13
    Logarithmic-Exponential Series.Lou van den Dries, Angus Macintyre & David Marker - 2001 - Annals of Pure and Applied Logic 111 (1-2):61-113.
    We extend the field of Laurent series over the reals in a canonical way to an ordered differential field of “logarithmic-exponential series” , which is equipped with a well behaved exponentiation. We show that the LE-series with derivative 0 are exactly the real constants, and we invert operators to show that each LE-series has a formal integral. We give evidence for the conjecture that the field of LE-series is a universal domain for ordered differential algebra in Hardy fields. We define (...)
    Direct download (6 more)  
    Export citation  
    Bookmark   7 citations  
  7.  33
    Quantifier Elimination for Modules with Scalar Variables.Lou van den Dries & Jan Holly - 1992 - Annals of Pure and Applied Logic 57 (2):161-179.
    Van den Dries, L. and J. Holly, Quantifier elimination for modules with scalar variables, Annals of Pure and Applied Logic 57 161–179. We consider modules as two-sorted structures with scalar variables ranging over the ring. We show that each formula in which all scalar variables are free is equivalent to a formula of a very simple form, uniformly and effectively for all torsion-free modules over gcd domains . For the case of Presburger arithmetic with scalar variables the result takes a (...)
    Direct download (4 more)  
    Export citation  
    Bookmark   3 citations  
  8.  49
    Toward a Model Theory for Transseries.Matthias Aschenbrenner, Lou van den Dries & Joris van der Hoeven - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):279-310.
    The differential field of transseries extends the field of real Laurent series and occurs in various contexts: asymptotic expansions, analytic vector fields, and o-minimal structures, to name a few. We give an overview of the algebraic and model-theoretic aspects of this differential field and report on our efforts to understand its elementary theory.
    Direct download (6 more)  
    Export citation  
    Bookmark   1 citation  
  9.  12
    Invariant Measures on Groups Satisfying Various Chain Conditions.Lou van den Dries & Vinicius Cifú Lopes - 2011 - Journal of Symbolic Logic 76 (1):209.
    For any group satisfying a suitable chain condition, we construct a finitely additive measure on it that is invariant under certain actions.
    Direct download (7 more)  
    Export citation  
    Bookmark   1 citation  
  10.  17
    Alfred Tarski's Elimination Theory for Real Closed Fields.Lou Van Den Dries - 1988 - Journal of Symbolic Logic 53 (1):7-19.
  11.  10
    University of California at Berkeley Berkeley, CA, USA March 24–27, 2011.G. Aldo Antonelli, Laurent Bienvenu, Lou van den Dries, Deirdre Haskell, Justin Moore, Christian Rosendal Uic, Neil Thapen & Simon Thomas - 2012 - Bulletin of Symbolic Logic 18 (2).
    Direct download (2 more)  
    Export citation  
  12.  12
    Decidable Regularly Closed Fields of Algebraic Numbers.Lou van den Dries & Rick L. Smith - 1985 - Journal of Symbolic Logic 50 (2):468 - 475.
  13.  21
    Division Rings Whose Vector Spaces Are Pseudofinite.Vinicius Lopes & Lou van den Dries - 2010 - Journal of Symbolic Logic 75 (3):1087-1090.
    Vector spaces over fields are pseudofinite, and this remains true for vector spaces over division rings that are finite-dimensional over their center. We also construct a division ring such that the nontrivial vector spaces over it are not pseudofinite, using Richard Thompson's group F. The idea behind the construction comes from a first-order axiomatization of the class of division rings all whose nontrivial vector spaces are pseudofinite.
    Direct download (2 more)  
    Export citation  
  14.  11
    An Application of Tarskis Principle to Absolute Galois Groups of Function Fields.Lou van den Dries & Paulo Ribenboim - 1987 - Annals of Pure and Applied Logic 33 (1):83-107.
  15.  28
    Correction to “T-Convexity and Tame Extensions II”.Lou Van Den Dries - 1998 - Journal of Symbolic Logic 63 (4):1597-1597.
    Related Works: Original Paper: Lou Van Den Dries. $T$-Convexity and Tame Extensions II. J. Symbolic Logic, Volume 62, Issue 1 , 14--34. Project Euclid: euclid.jsl/1183745182.
    Direct download (5 more)  
    Export citation  
  16.  28
    Definable Equivalence Relations on Algebraically Closed Fields.Lou van den Dries, David Marker & Gary Martin - 1989 - Journal of Symbolic Logic 54 (3):928-935.
  17.  11
    The Euclidean Algorithm on the Natural Numbers Æ= 0, 1,... Can Be Specified Succinctly by the Recursive Program.Lou van den Dries & Yiannis N. Moschovakis - 2004 - Bulletin of Symbolic Logic 10 (3).