Results for 'Dries Lou Van Den'

1000+ found
Order:
  1.  95
    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  
  2.  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  
  3.  22
    Correction to "T-Convexity and Tame Extensions II".Lou Van Den Dries - 1998 - Journal of Symbolic Logic 63 (4):1597 -.
  4.  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  
  5.  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.
  6.  41
    Algebraic theories with definable Skolem functions.Lou van den Dries - 1984 - Journal of Symbolic Logic 49 (2):625-629.
  7.  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  
  8.  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  
  9.  45
    On the elementary theory of restricted elementary functions.Lou van den Dries - 1988 - Journal of Symbolic Logic 53 (3):796-808.
  10.  38
    Alfred Tarski's elimination theory for real closed fields.Lou Van Den Dries - 1988 - Journal of Symbolic Logic 53 (1):7-19.
  11.  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  
  12.  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.
  13.  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  
  14.  37
    Definable equivalence relations on algebraically closed fields.Lou van den Dries, David Marker & Gary Martin - 1989 - Journal of Symbolic Logic 54 (3):928-935.
  15.  21
    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  
  16.  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.
  17.  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  
  18.  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  
  19.  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  
  20.  8
    REVIEWS-Two papers.L. Van den Dries, A. Macintyre, D. Marker & Chris Miller - 2000 - Bulletin of Symbolic Logic 6 (2):213-215.
  21.  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  
  22. 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  
  23.  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  
  24.  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.
  25.  17
    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.
  26.  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  
  27.  16
    Review: Lou van den Dries, Tame Topology and O-Minimal Structures. [REVIEW]Alessandro Berarducci - 2000 - Bulletin of Symbolic Logic 6 (2):216-218.
  28.  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.
  29.  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  
  30.  59
    Explanation, teleology, and analogy in natural history and comparative anatomy around 1800: Kant and Cuvier.Hein van den Berg - 2024 - Studies in History and Philosophy of Science Part A 105 (C):109-119.
    This paper investigates conceptions of explanation, teleology, and analogy in the works of Immanuel Kant (1724-1804) and Georges Cuvier (1769-1832). Richards (2000, 2002) and Zammito (2006, 2012, 2018) have argued that Kant’s philosophy provided an obstacle for the project of establishing biology as a proper science around 1800. By contrast, Russell (1916), Outram (1986), and Huneman (2006, 2008) have argued, similar to suggestions from Lenoir (1989), that Kant’s philosophy influenced the influential naturalist Georges Cuvier. In this article, I wish to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  6
    L'altérité: fondement de la personne humaine dans l'œuvre d'Edith Stein.Thibault van den Driessche - 2008 - Dudley, MA: Peeters.
    Dans l'oeuvre d'Edith Stein, l'alterite apparait comme constitutive de la personne humaine. D'un point de vue proprement subjectif, l'alterite renvoie... l'alter ego,... la dimension communautaire et, dans une perspective croyante, au Tout-Autre. D'un point de vue objectif, elle designe les valeurs, qui faconnent la personnalite, et la foi, qui vient au secours de la raison humaine. Un parcours des oeuvres principales de l'auteur permet de prendre la mesure... la fois de la continuite et de l'evolution de sa pensee. A partir (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  11
    Traditional knowledge in modern society.Wolfgang van den Daele - 2005 - In Nico Stehr & Reiner Grundmann (eds.), Knowledge: critical concepts. New York: Routledge. pp. 399.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  33. Understanding Financial Instability: Minsky Versus the Austrians.Ludwig Van Den Hauwe - 2016 - Journal des Economistes Et des Etudes Humaines 22 (1):25-60.
    Although Minsky’s interpretation of Keynes’s macroeconomics and essential message clashes with authoritative alternative interpretations, it has become increasingly influential during the years following the Global Financial Crisis, even in mainstream circles. This paper offers a critical evaluation of Minsky’s Financial Instability Hypothesis from the perspective of the alternative Austro-Wicksellian paradigm. Although some of the similarities and/or analogies between Minsky’s approach and that of the Austrian School suggest a more than merely superficial affinity between the two theoretical frameworks and although some (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  34.  16
    Richard Dagger: Civic Virtues. Rights, Citizenship and Republican Liberalism.Bert van den Brink - 1999 - Ethical Theory and Moral Practice 2 (1):67-69.
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  35.  11
    Vladimir Solov'ëv: reconciler and polemicist ; selected papers of the International Vladimir Solov'ëv Conference held at the University of Nijmegen, the Netherlands, in September 1998.William Peter van den Bercken, Manon de Courten, W. Van den Bercken & Evert van der Zweerde (eds.) - 2000 - Sterling, Va.: Peeters.
    Vladimir Solov'ev (1853-1900- is regarded as the most original and systematic of the Russian philosophers in the 19th century. He has once again become the subject of international scholarly attention both in Slavic countries and the West. This volume contains selected papers presented at the international conference on Vladimir Solov'ev held at Nijmegen University, the Netherlands, in September 1998. The scope of this conference was wide-ranging, dealing with theological, metaphysical, philosophical and historical themes. Though Solov'ev's broad intellectual activity defies any (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  4
    De dingen en hun wetenschap.Jaak H. G. Van den Berk - 1973 - Nijkerk,: Callenbach.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  56
    Computer Ethics and Moral Methodology.Jeroen Van Den Hoven - 1997 - Metaphilosophy 28 (3):234-248.
    In computer ethics, as in other branches of applied ethics, the problem of the justification of moral judgment is still unresolved. I argue that the method which is referred to as “The Method of Wide Reflective Equilibrium” (WRE) offers the best solution to it. It does not fall victim to the false dilemma of having to choose either case‐based particularist or principle‐based universalist approaches to the problem of moral justification. I claim that WRE also provides the best model of practical (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  38.  41
    Rethinking Nature: Public Visions in the Netherlands.Riyan J. G. Van Den Born - 2008 - Environmental Values 17 (1):83-109.
    This study addresses two questions: (1) what visions of nature do lay people subscribe to? (2) to what extent do these visions reflect those of professional philosophers? Four philosophical images of the human-nature relationship were discussed with respondents; Master, Steward, Partner and Participant. Respondents recognise these images, but prefer to construct their own. Elements of their images are (1) that humans are part of nature, but (2) that they are responsible for nature as well. This study indicates that empirical philosophy (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  39.  10
    Metabletica en wetenschap: kritische bestandsopname van het werk van J.H. van den Berg.J. H. van den Berg & J. van Belzen (eds.) - 1997 - Rotterdam: Erasmus Publishing.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  42
    Letter en geest in de machine.Marianne van den Boomen - 2006 - Krisis 7 (1):71-79.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  15
    Protestantism, the Middle East and Europe: A Hundred Years of Action Chrétienne en Orient.Heleen Murre-van den Berg - 2022 - Transformation: An International Journal of Holistic Mission Studies 39 (1):3-9.
    Introduction to collection of papers by group of scholars and ACO missionaries brought together to discuss the developments within the ACO over the past hundred years during a conference that was organised by Dr Wilbert van Saane of Haigazian University in January 2021. I will briefly summarise what strikes me as characteristic of the ACO on the basis of these articles, and conclude with a discussion of how this may contribute to further reflection in Mission Studies and World Christianity.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. Privacy and the Varieties of Informational Wrongdoing.Jeroen van den Hoven - 1999 - Australian Journal of Professional and Applied Ethics 1 (1).
  43.  7
    Bonhoeffer’s Christocentric Theology and Fundamental Debates in Environmental Ethics.Steven C. Van den Heuvel - 2017 - Eugene, Oregon: Pickwick Publications.
    There is widespread understanding of the close connection between religion and the ecological crisis, and that in order to amend this crisis, theological resources are needed. This monograph seeks to contribute to this endeavor by engaging the theology of Dietrich Bonhoeffer. His theology is particularly suitable in this context, due to its open-ended nature, and to the prophetic and radical nature of the questions he was prepared to ask--that is why there are many other attempts to contextualize Bonhoeffer's theology in (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  3
    Democracy and Welfare Economics.van den Doel - 1979 - Cambridge University Press.
    This is a fully revised and updated version of Hans van der Doel"s Democracy and Welfare Economics.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  42
    Between quality of life and hope. Attitudes and beliefs of Muslim women toward withholding and withdrawing life-sustaining treatments.Chaïma Ahaddour, Stef Van den Branden & Bert Broeckaert - 2018 - Medicine, Health Care and Philosophy 21 (3):347-361.
    The technological advances in medicine, including prolongation of life, have constituted several dilemmas at the end of life. In the context of the Belgian debates on end-of-life care, the views of Muslim women remain understudied. The aim of this article is fourfold. First, we seek to describe the beliefs and attitudes of middle-aged and elderly Moroccan Muslim women toward withholding and withdrawing life-sustaining treatments. Second, we aim to identify whether differences are observable among middle-aged and elderly women’s attitudes toward withholding (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  46.  9
    Tekens van het onzichtbare: essays over kunst en mystiek.Antoon Van den Braembussche - 2021 - Eindhoven: Damon.
    In 'Signs of the Invisible', art philosopher Antoon Van den Braembussche penetrates deeper into the mystical dimension of art. In essays on Rumi, Paul Klee, Anish Kapoor and Paul Celan, he offers multifaceted reflections on the ineffable in art. More than ever, he breaks through the established boundaries between art and mysticism, tradition and innovation, religion and atheism, between Western and Eastern philosophy. In an age where the secular has taken over, art appears more than ever to respond to the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  6
    Complementary Note on the Early Scholastic Commentarii in Psalmos.Damian Van den Eynde - 1957 - Franciscan Studies 17 (2-3):149-172.
  48.  15
    Deux traités faussement attribues à Hugues de Saint-Victor.P. Damien Van den Eynde - 1959 - Franciscan Studies 19 (3-4):318-324.
  49.  9
    Literary Note on the Earliest Scholastic Commentarii in Psalmos.P. Damian Van den Eynde - 1954 - Franciscan Studies 14 (2):121-154.
  50.  13
    Stephen Langton and Hugh of St. Cher on the Causality of the Sacraments.Damian van den Eynde - 1951 - Franciscan Studies 11 (3-4):141-155.
1 — 50 / 1000