Results for 'Lou van den Dries'

1000+ found
Order:
  1.  7
    Algebraic theories with definable Skolem functions.Lou van den Dries - 1984 - Journal of Symbolic Logic 49 (2):625-629.
  2.  1
    Dimension of definable sets, algebraic boundedness and Henselian fields.Lou Van den Dries - 1989 - Annals of Pure and Applied Logic 45 (2):189-209.
  3.  9
    On the elementary theory of restricted elementary functions.Lou van den Dries - 1988 - Journal of Symbolic Logic 53 (3):796-808.
  4.  16
    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  
  5.  13
    Alfred Tarski's elimination theory for real closed fields.Lou Van Den Dries - 1988 - Journal of Symbolic Logic 53 (1):7-19.
  6.  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 (7 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  7.  11
    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  
  8.  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 (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  9.  45
    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  
  10.  38
    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.  8
    Definable equivalence relations on algebraically closed fields.Lou van den Dries, David Marker & Gary Martin - 1989 - Journal of Symbolic Logic 54 (3):928-935.
  12.  8
    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  
  13.  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.
  14.  7
    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.  15
    Correction to "T-Convexity and Tame Extensions II".Lou Van Den Dries - 1998 - Journal of Symbolic Logic 63 (4):1597 -.
  16.  45
    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.
  17.  25
    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  
  18.  43
    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  
  19.  4
    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  
  20.  11
    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.  24
    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.
  22.  6
    Review: Lou van den Dries, Tame Topology and O-Minimal Structures. [REVIEW]Alessandro Berarducci - 2000 - Bulletin of Symbolic Logic 6 (2):216-218.
  23.  8
    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.
  24.  27
    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  
  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.  62
    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.  14
    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  
  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.  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  
  30.  4
    REVIEWS-Two papers.L. Van den Dries, A. Macintyre, D. Marker & Chris Miller - 2000 - Bulletin of Symbolic Logic 6 (2):213-215.
  31.  9
    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.  17
    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.  2
    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.  10
    Dialéctica de la justicia. Una apología de Platón como crítico social.Rodrigo Maruy Van Den Broek - 2020 - Estudios de Filosofía (Universidad de Antioquia) 18:112-136.
    Este artículo sostiene que Platón constituye un interlocutor fructífero para la Teoría crítica. Desde un diálogo con Axel Honneth, argumentaremos primero que la metodología de crítica social desarrollada en la República posee elementos constructivo-racionales y reconstructivo-hermenéuticos. Luego, enfatizaremos dos conceptos prefigurados en dicha obra que, mediante Hegel, yacen en el trasfondo de la Teoría crítica, a saber: holismo y patología social. Ello nos permitirá articular, como conclusión, una “dialéctica de la justicia” que, en el sentido de Adorno & Horkheimer, recorre (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  12
    Decir lo normal Reflexiones en torno al trasfondo ético del lenguaje de la psiquiatría.Rodrigo Maruy van den Broek - 2019 - Estudios de Filosofía (Universidad de Antioquia) 17:100-124.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  5
    Dimensions, matroids, and dense pairs of first-order structures.Antongiulio Fornasiero - 2011 - Annals of Pure and Applied Logic 162 (7):514-543.
    A structure M is pregeometric if the algebraic closure is a pregeometry in all structures elementarily equivalent to M. We define a generalisation: structures with an existential matroid. The main examples are superstable groups of Lascar U-rank a power of ω and d-minimal expansion of fields. Ultraproducts of pregeometric structures expanding an integral domain, while not pregeometric in general, do have a unique existential matroid. Generalising previous results by van den Dries, we define dense elementary pairs of structures expanding (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  38.  17
    The growth habits and surface structure of ice crystals.B. J. Mason, G. W. Bryant & A. P. Van den Heuvel - 1963 - Philosophical Magazine 8 (87):505-526.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  39.  11
    Attitudes of Older Adults in a Group-Based Exercise Program Toward a Blended Intervention; A Focus-Group Study.Mehra Sumit, Dadema Tessa, J. A. Kröse Ben, Visser Bart, H. H. Engelbert Raoul, Van Den Helder Jantine & J. M. Weijs Peter - 2016 - Frontiers in Psychology 7.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  13
    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  
  41.  34
    A genetic researcher’s devil’s dilemma: Warn relatives about their genetic risk or respect confidentiality agreements with research participants?Imke Christiaans, M. Corrette Ploem, Els L. M. Maeckelberghe & Lieke M. van den Heuvel - 2021 - BMC Medical Ethics 22 (1):1-7.
    BackgroundWith advances in sequencing technologies, increasing numbers of people are being informed about a genetic disease identified in their family. In current practice, probands are asked to inform at-risk relatives about the diagnosis. However, previous research has shown that relatives are sometimes not informed due to barriers such as family conflicts. Research on family communication in genetic diseases aims to explore the difficulties encountered in informing relatives and to identify ways to support probands in this.Main bodyResearch on family communication may (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  30
    How time and semantic relatedness modulate whether and how unconscious information is represented in the brain.Muscarella Charlotte, Aben Bart, Smets Karolien, Hughes Gethin & Van Den Bussche Eva - 2014 - Frontiers in Human Neuroscience 8.
  43.  18
    Nudges in Public Health: Paternalism Is Paramount.Marcel Verweij & Mariëtte van den Hoven - 2012 - American Journal of Bioethics 12 (2):16-17.
    Libertarian paternalism involves the idea that it is justified to shape the context in which people make important choices in a way that they are nudged to options that would be better for them, wh...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  44.  24
    The Effect of modality specific interference on working memory in recalling aversive auditory and visual memories.Suzy J. M. A. Matthijssen, Kevin van Schie & Marcel A. van den Hout - 2018 - Cognition and Emotion 33 (6):1169-1180.
    ABSTRACTBoth auditory and visual emotional memories can be made less emotional by loading working memory during memory recall. Taxing WM during recall can be modality specific (giving an audit...
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  45.  26
    Chronic Activation of the Glucocorticoid Receptor Alters Memory Function of Val66Met Polymorphism Knock-in hBDNF Mice.Notaras Michael, Hill Rachel, Gogos Joseph & Van Den Buuse Maarten - 2015 - Frontiers in Human Neuroscience 9.
  46.  40
    Feasibility of a Responsive Business Scorecard – a pilot study.Frans Van Der Woerd & Timo van den Brink - 2004 - Journal of Business Ethics 55 (2):173-186.
    Several authors have pointed at opportunities to develop the well-established Business Balanced Scorecard into a Scorecard that enables companies to integrate sustainability into their strategy. Recent case studies and research experiences show that social and environmental targets are more widely recognized as strategic drivers for management. However, experiments also show that the traditional Scorecard has its limits when it comes to e.g. stakeholder management and product chain management. The European Corporate Sustainability Framework(ECSF) program distinguishes several ambition levels for Corporate Sustainability/corporate (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  47.  8
    Responsible Innovation 3: A European Agenda?Lotte Asveld, Saskia Lavrijssen, Kees Linse, Tsjalling Swierstra, Rietje van Dam-Mieras & Jeroen van den Hoven (eds.) - 2017 - Cham: Imprint: Springer.
    This book offers a comprehensive overview of current developments in the field of Responsible Research and Innovation (RRI). Divided into three parts, the book first presents reflections on the concept of RI from various angles: how did it come about, who is involved and how might in be applied in various contexts, such as the academic environment or in developing countries. The second part discusses the actual application of RRI to technology development: for climate engineering, water management and energy technology (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. Responsible Innovation.L. Asveld, R. Van Dam-Mieras, T. Swierstra, S. Lavrijssen, K. Linse & J. Van Den Hoven (eds.) - 2017 - Springer International Publishing.
    No categories
     
    Export citation  
     
    Bookmark  
  49.  15
    Identifying the ethics of emerging information and communication technologies: An essay on issues, concepts and method.Bernd Carsten Stahl, Richard Heersmink, Philippe Goujon, Catherine Flick, Jeroen van den Hoven, Kutoma Wakunuma, Veikko Ikonen & Michael Rader - 2010 - International Journal of Technoethics 1 (4):20-38.
    Ethical issues of information and communication technologies (ICTs) are important because they can have significant effects on human liberty, happiness, and people’s ability to lead a good life. They are also of functional interest because they can determine whether technologies are used and whether their positive potential can unfold. For these reasons, policy makers are interested in finding out what these issues are and how they can be addressed. The best way of creating ICT policy that is sensitive to ethical (...)
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  50.  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  
1 — 50 / 1000