Results for 'Lou van den Dries'

1000+ found
Order:
  1.  31
    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.  41
    Algebraic theories with definable Skolem functions.Lou van den Dries - 1984 - Journal of Symbolic Logic 49 (2):625-629.
  3.  47
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  29
    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 (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  5.  77
    T-Convexity and Tame Extensions.Dries Lou Van Den & H. Lewenberg Adam - 1995 - Journal of Symbolic Logic 60 (1):74 - 102.
    Let T be a complete o-minimal extension of the theory of real closed fields. We characterize the convex hulls of elementary substructures of models of T and show that the residue field of such a convex hull has a natural expansion to a model of T. We give a quantifier elimination relative to T for the theory of pairs (R, V) where $\mathscr{R} \models T$ and V ≠ R is the convex hull of an elementary substructure of R. We deduce (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  6.  45
    On the elementary theory of restricted elementary functions.Lou van den Dries - 1988 - Journal of Symbolic Logic 53 (3):796-808.
  7.  38
    T-Convexity and Tame Extensions II.Lou Van Den Dries - 1997 - Journal of Symbolic Logic 62 (1):14 - 34.
    I solve here some problems left open in “T-convexity and Tame Extensions” [9]. Familiarity with [9] is assumed, and I will freely use its notations. In particular,Twill denote a completeo-minimal theory extending RCF, the theory of real closed fields. Let (,V) ⊨Tconvex, let=V/m(V)be the residue field, with residue class mapx↦:V↦, and let υ:→ Γ be the associated valuation. “Definable” will mean “definable with parameters”.The main goal of this article is to determine the structure induced by(,V)on its residue fieldand on its (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  8.  27
    T-convexity and tame extensions II.Lou van den Dries - 1997 - Journal of Symbolic Logic 62 (1):14-34.
    I solve here some problems left open in “T-convexity and Tame Extensions” [9]. Familiarity with [9] is assumed, and I will freely use its notations. In particular,Twill denote a completeo-minimal theory extending RCF, the theory of real closed fields. Let (,V) ⊨Tconvex, let=V/m(V)be the residue field, with residue class mapx↦:V↦, and let υ:→ Γ be the associated valuation. “Definable” will mean “definable with parameters”.The main goal of this article is to determine the structure induced by(,V)on its residue fieldand on its (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  9.  38
    Alfred Tarski's elimination theory for real closed fields.Lou Van Den Dries - 1988 - Journal of Symbolic Logic 53 (1):7-19.
  10.  23
    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  
  11.  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 (C):83-107.
  12.  36
    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.  19
    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  
  14.  19
    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):390-418.
    The Euclidean algorithm on the natural numbers ℕ = {0,1,…} can be specified succinctly by the recursive programwhere rem is the remainder in the division of a by b, the unique natural number r such that for some natural number q,It is an algorithm from the remainder function rem, meaning that in computing its time complexity function cε, we assume that the values rem are provided on demand by some “oracle” in one “time unit”. It is easy to prove thatMuch (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  33
    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.
  16.  22
    Correction to "T-Convexity and Tame Extensions II".Lou Van Den Dries - 1998 - Journal of Symbolic Logic 63 (4):1597 -.
  17.  12
    Is The Euclidean Algorithm Optimal Among Its Peers?Lou Van Den Dries & Yiannis N. Moschovakis - 2004 - Bulletin of Symbolic Logic 10 (3):390-418.
    The Euclidean algorithm on the natural numbers ℕ = {0,1,…} can be specified succinctly by the recursive programwhere rem is the remainder in the division of a by b, the unique natural number r such that for some natural number q,It is an algorithm from the remainder function rem, meaning that in computing its time complexity function cε, we assume that the values rem are provided on demand by some “oracle” in one “time unit”. It is easy to prove thatMuch (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark  
  18.  53
    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  
  19.  18
    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  
  20.  26
    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  
  21.  18
    Review: Lou van den Dries, Angus Macintyre, David Marker, The Elementary Theory of Restricted Analytic Fields with Exponentiation; Lou van den Dries, Angus Macintyre, David Marker, Logarithmic-Exponential Power Series. [REVIEW]Chris Miller - 2000 - Bulletin of Symbolic Logic 6 (2):213-216.
  22.  13
    Lou van den Dries, Angus Macintyre, and David Marker. The elementary theory of restricted analytic fields with exponentiation. Annals of mathematics, ser. 2 vol. 140 , pp. 183–205. - Lou van den Dries, Angus Macintyre, and David Marker. Logarithmic-exponential power series. Journal of the London Mathematical Society, ser. 2 vol. 56 , pp. 417–434. [REVIEW]Chris Miller - 2000 - Bulletin of Symbolic Logic 6 (2):213-216.
  23.  19
    Lou van den Dries. Tame topology and o-minimal structures. London Mathematical Society lecture note series, no. 248. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1998, x + 180 pp. [REVIEW]Alessandro Berarducci - 2000 - Bulletin of Symbolic Logic 6 (2):216-218.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  16
    Review: Lou van den Dries, Tame Topology and O-Minimal Structures. [REVIEW]Alessandro Berarducci - 2000 - Bulletin of Symbolic Logic 6 (2):216-218.
  25.  29
    Gregory Cherlin, Lou van den Dries, and Angus Macintyre. Decidability and undecidability theorems for PAC-fields. Bulletin of the American Mathematical Society, n.s. vol. 4 , pp. 101–104. [REVIEW]A. Prestel - 1987 - Journal of Symbolic Logic 52 (2):568.
  26.  43
    Angus Macintyre, Kenneth McKenna, and Lou van den Dries. Elimination of quantifiers in algebraic structures. Advances in mathematics, vol. 47 , pp. 74–87. - L. P. D. van den Dries. A linearly ordered ring whose theory admits elimination of quantifiers is a real closed field. Proceedings of the American Mathematical Society, vol. 79 , pp. 97–100. - Bruce I. Rose. Rings which admit elimination of quantifiers. The journal of symbolic logic, vol. 43 , pp. 92–112; Corrigendum, vol. 44 , pp. 109–110. - Chantal Berline. Rings which admit elimination of quantifiers. The journal of symbolic logic, vol. 43 , vol. 46 , pp. 56–58. - M. Boffa, A. Macintyre, and F. Point. The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings. Model theory of algebra and arithmetic, Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1–7, 1979, edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie, Lecture. [REVIEW]Gregory L. Cherlin - 1985 - Journal of Symbolic Logic 50 (4):1079-1080.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  3
    Breathing.Luk Van den Dries - 2023 - Substance 52 (1):30-33.
    In lieu of an abstract, here is a brief excerpt of the content:BreathingLuk Van den Dries (bio)This text, "Breathing," was conceived for the book From Act to Acting: Fabre's Guidelines for the Performer of the 21st Century (2021). The book was conceived and designed by Jan Fabre, author, theatre artist, and visual artist, active since the 1970s. The book was written by Luk Van den Dries, dramaturg and theatre researcher of the University of Antwerp, in tight collaboration with (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. Of Linear Divisibility Conditions.L. van Den Dries & A. J. Wilkie - unknown
    We prove linear and polynomial growth properties of sets and functions that are existentially definable in the ordered group of integers with divisibility. We determine the laws of addition with order and divisibility.
     
    Export citation  
     
    Bookmark  
  29.  30
    The laws of integer divisibility, and solution sets of linear divisibility conditions.L. van den Dries & A. J. Wilkie - 2003 - Journal of Symbolic Logic 68 (2):503-526.
    We prove linear and polynomial growth properties of sets and functions that are existentially definable in the ordered group of integers with divisibility. We determine the laws of addition with order and divisibility.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  30.  8
    REVIEWS-Two papers.L. Van den Dries, A. Macintyre, D. Marker & Chris Miller - 2000 - Bulletin of Symbolic Logic 6 (2):213-215.
  31.  43
    A Question of Van Den Dries and a Theorem of Lipshitz and Robinson; Not Everything Is Standard.Ehud Hrushovski & Ya'acov Peterzil - 2007 - Journal of Symbolic Logic 72 (1):119 - 122.
    We use a new construction of an o-minimal structure, due to Lipshitz and Robinson, to answer a question of van den Dries regarding the relationship between arbitrary o-minimal expansions of real closed fields and structures over the real numbers. We write a first order sentence which is true in the Lipshitz-Robinson structure but fails in any possible interpretation over the field of real numbers.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  29
    Denef J. and van den Dries L.. p-Adic and real subanalytic sets. Annals of mathematics, ser. 2 vol. 128 , pp. 79–138.Deirdre Haskell - 1997 - Journal of Symbolic Logic 62 (4):1481-1483.
  33.  36
    Given a divisible ordered abelian group Λ, we call (X, d) a Λ-metric space if d: X× X−→ Λ satisfies the usual axioms of a metric, ie, for all x, y∈ X, d (x, y)− d (y, x)≥ 0 if and only if x= y, and the triangle inequality holds. We can now give the definition of asymptotic cone according to van den Dries and Wilkie.Linus Kramer & Katrin Tent - 2004 - Bulletin of Symbolic Logic 10 (2):175-185.
    §1. Introduction. Asymptotic cones of metric spaces were first invented by Gromov. They are metric spaces which capture the ‘large-scale structure’ of the underlying metric space. Later, van den Dries and Wilkie gave a more general construction of asymptotic cones using ultrapowers. Certain facts about asymptotic cones, like the completeness of the metric space, now follow rather easily from saturation properties of ultrapowers, and in this survey, we want to present two applications of the van den Dries-Wilkie approach. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  16
    Review: J. Denef, L. van den Dries, $ p $-Adic and real Subanalytic Sets. [REVIEW]Deirdre Haskell - 1997 - Journal of Symbolic Logic 62 (4):1481-1483.
  35.  48
    Corps portant un nombre fini de valuations.Françoise Delon - 1987 - Journal of Symbolic Logic 52 (4):994-1004.
    L. van den Dries proved that the theory of n-valued rings has a model companion. We show here that this result is still true when the valuation rings are required to satisfy given inclusion relations (we restrict ourselves to the case of residual characteristic zero).
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  36.  97
    Asymptotic cones and ultrapowers of lie groups.Linus Kramer & Katrin Tent - 2004 - Bulletin of Symbolic Logic 10 (2):175-185.
    §1. Introduction. Asymptotic cones of metric spaces were first invented by Gromov. They are metric spaces which capture the ‘large-scale structure’ of the underlying metric space. Later, van den Dries and Wilkie gave a more general construction of asymptotic cones using ultrapowers. Certain facts about asymptotic cones, like the completeness of the metric space, now follow rather easily from saturation properties of ultrapowers, and in this survey, we want to present two applications of the van den Dries-Wilkie approach. (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  37. De staat in drie generaties van global governance.Dries Lesage, Jan Orbie, Tine Vandervelden & Sara van Belle - 2005 - Res Publica 1:103.
     
    Export citation  
     
    Bookmark  
  38.  10
    De staat in drie generaties van.Dries Lesage, Jan Orbie, Tine Vandervelden & Sara Van Belle - 2005 - Res Publica 47 (1):102-122.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39. Thinking About Justice: A Traditional Philosophical Framework.Simon Rippon, Miklos Zala, Tom Theuns, Sem de Maagt & Bert van den Brink - 2020 - In Trudie Knijn & Dorota Lepianka (eds.), Justice and Vulnerability in Europe: An Interdisciplinary Approach. Northampton: Edward Elgar Publishing Ltd. pp. 16-36.
    This chapter describes a philosophical approach to theorizing justice, mapping out some main strands of the tradition leading up to contemporary political philosophy. We first briefly discuss what distinguishes a philosophical approach to justice from other possible approaches to justice, by explaining the normative focus of philosophical theories of justice – that is, a focus on questions not about how things actually are, but about how things ought to be. Next, we explain what sorts of methods philosophers use to justify (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  38
    Doubt in the Insula: Risk Processing in Obsessive-Compulsive Disorder.Judy Luigjes, Martijn Figee, Philippe N. Tobler, Wim van den Brink, Bart de Kwaasteniet, Guido van Wingen & Damiaan Denys - 2016 - Frontiers in Human Neuroscience 10.
  41.  5
    Gendered and Embodied Un/learning among Women Disengaging from Faith in the UK and Finland.Nella van den Brandt & Teija Rantala - 2024 - Approaching Religion 14 (2):224-239.
    Women often embody the central values and practices of their religious tradition. When they leave their community, women find a part of the “religious tapestry” remaining with them long after their disengagement. In this article, we draw from research in the UK and Finland to explore women’s efforts to unlearn parts of their former religious belonging. We draw on in total thirty-five interviews with women who disengaged from the Mormon Church, Jehovah’s Witnesses and Conservative Laestadianism. We conceptualize un/learning as a (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  25
    A Tribute to Charlie Chaplin: Induced Positive Affect Improves Reward-Based Decision-Learning in Parkinson’s Disease.K. Richard Ridderinkhof, Nelleke C. van Wouwe, Guido P. H. Band, Scott A. Wylie, Stefan Van der Stigchel, Pieter van Hees, Jessika Buitenweg, Irene van de Vijver & Wery P. M. van den Wildenberg - 2012 - Frontiers in Psychology 3.
  43. Thinking About Justice: A Traditional Philosophical Framework.Simon Rippon, Miklos Zala, Tom Theuns, Sem de Maagt & Bert van den Brink - 2020 - In Trudie Knijn & Dorota Lepianka (eds.), Justice and Vulnerability in Europe: An Interdisciplinary Approach. Northampton: Edward Elgar Publishing Ltd. pp. 16-36.
    This~chapter~describes a philosophical approach to theorizing justice, mapping out some main strands of the tradition leading up to contemporary political philosophy. We first briefly discuss what distinguishes a~philosophical approach to justice from other possible approaches to justice, by explaining the~normative~focus of philosophical theories of justice a sh that is, a focus on questions not about how things actually~are, but about how things~ought~to be. Next, we explain what sorts of methods philosophers use to justify theories of justice. Following this, in the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  9
    The role of meta-analysis and preregistration in assessing the evidence for cleansing effects.Robert M. Ross, Robbie C. M. van Aert, Olmo R. van den Akker & Michiel van Elk - 2021 - Behavioral and Brain Sciences 44.
    Lee and Schwarz interpret meta-analytic research and replication studies as providing evidence for the robustness of cleansing effects. We argue that the currently available evidence is unconvincing because publication bias and the opportunistic use of researcher degrees of freedom appear to have inflated meta-analytic effect size estimates, and preregistered replications failed to find any evidence of cleansing effects.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  31
    “Who Am I to Judge These Things”: Intersectional Dimensions of Self-Silencing of People with a Neuromuscular Disease in a Clinical Trial.Floor Cuijpers, Maaike Muntinga, Minne Bakker, Gönül Dilaver, Mariëtte van den Hoven & Petra Verdonk - 2022 - International Journal of Feminist Approaches to Bioethics 15 (2):51-75.
    Ethical guidelines protecting medical research participants have been criticized for stripping the sociocultural contexts of research. This critique is urgent considering ongoing calls to account for participant diversity in recruitment and inclusion procedures. Our intersectional analysis of illness narratives explores how sociostructural factors might play a role in participants’ exposure to research-related harm in clinical trials. Although widening participation does respond to generalizability concerns, we argue that gendered, classed, and ableist processes of self-silencing could simultaneously enhance risk of harm for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  27
    Reducing emotional reasoning: An experimental manipulation in individuals with fear of spiders.Miriam J. J. Lommen, Iris M. Engelhard, Marcel A. van den Hout & Arnoud Arntz - 2013 - Cognition and Emotion 27 (8):1504-1512.
  47. How to Do Things with Metaphor? Introduction to the Issue.Cor Van Der Weele & Marianne van den Boomen - 2008 - Configurations 16 (1):1-10.
     
    Export citation  
     
    Bookmark   1 citation  
  48. Bedeutungsexplikation und materiale Implikation.Holger van den Boom - 1976 - Köln: Universalienprojekt, Institut für Sprachwissenschaft, Universität.
     
    Export citation  
     
    Bookmark  
  49. Leibniz in Berlin: Ausstellung im Schloss Charlottenburg, 10. Juni-22. Juli 1987.Gerd van den Heuvel - 1987 - Berlin: Verwaltung der Staatlichen Schlösser und Gärten in Berlin in Zusammenarbeit mit dem Leibnizarchiv der Niedersächsischen Landesbibliothek.
     
    Export citation  
     
    Bookmark  
  50.  2
    No (true) right to die: barriers in access to physician-assisted death in case of psychiatric disease, advanced dementia or multiple geriatric syndromes in the Netherlands.Caroline van den Ende & Eva Constance Alida Asscher - 2024 - Medicine, Health Care and Philosophy 27 (2):181-188.
    Even in the Netherlands, where the practice of physician-assisted death (PAD) has been legalized for over 20 years, there is no such thing as a ‘right to die’. Especially patients with extraordinary requests, such as a wish for PAD based on psychiatric suffering, advanced dementia, or (a limited number of) multiple geriatric syndromes, encounter barriers in access to PAD. In this paper, we discuss whether these barriers can be justified in the context of the Dutch situation where PAD is legally (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000