17 found
Order:
  1.  20
    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.  30
    T-Convexity and Tame Extensions II.Lou Van Den Dries - 1997 - Journal of Symbolic Logic 62 (1):14-34.
  3.  29
    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.  30
    Algebraic Theories with Definable Skolem Functions.Lou van den Dries - 1984 - Journal of Symbolic Logic 49 (2):625-629.
  5.  11
    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   5 citations  
  6.  47
    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 (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  27
    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  
     
    Bookmark  
  8.  31
    On the Elementary Theory of Restricted Elementary Functions.Lou van den Dries - 1988 - Journal of Symbolic Logic 53 (3):796-808.
  9.  25
    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  
  10.  10
    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  
  11.  17
    Alfred Tarski's Elimination Theory for Real Closed Fields.Lou Van Den Dries - 1988 - Journal of Symbolic Logic 53 (1):7-19.
  12.  25
    Definable Equivalence Relations on Algebraically Closed Fields.Lou van den Dries, David Marker & Gary Martin - 1989 - Journal of Symbolic Logic 54 (3):928-935.
  13.  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).
  14.  10
    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.  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  
     
    Bookmark  
  16.  35
    Is The Euclidean Algorithm Optimal Among Its Peers?Lou Van Den Dries & Yiannis N. Moschovakis - 2004 - Bulletin of Symbolic Logic 10 (3):390-418.
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark  
  17.  20
    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  
     
    Bookmark