Results for 'E. Palmgren'

961 found
Order:
  1. Maximal and partial points in formal topology.E. Palmgren - forthcoming - Annals of Pure and Applied Logic.
     
    Export citation  
     
    Bookmark  
  2.  18
    Formal continuity implies uniform continuity near compact images on metric spaces.Erik Palmgren - 2014 - Mathematical Logic Quarterly 60 (1-2):66-69.
    The localic completion of a metric space induces a canonical notion of continuous map between metric spaces. It is shown that these maps are continuous in the sense of Bishop constructive mathematics, i.e., uniformly continuous near every compact image.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  17
    Constructions of categories of setoids from proof-irrelevant families.Erik Palmgren - 2017 - Archive for Mathematical Logic 56 (1-2):51-66.
    When formalizing mathematics in constructive type theories, or more practically in proof assistants such as Coq or Agda, one is often using setoids. In this note we consider two categories of setoids with equality on objects and show, within intensional Martin-Löf type theory, that they are isomorphic. Both categories are constructed from a fixed proof-irrelevant family F of setoids. The objects of the categories form the index setoid I of the family, whereas the definition of arrows differs. The first category (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  11
    GlaR, T., Rathjen, M. and Schliiter, A., On the proof-theoretic.G. Japaridze, R. Jin, S. Shelah, M. Otto, E. Palmgren & M. C. Stanley - 1997 - Annals of Pure and Applied Logic 85 (1):283.
  5.  89
    Minimal models of Heyting arithmetic.Ieke Moerdijk & Erik Palmgren - 1997 - Journal of Symbolic Logic 62 (4):1448-1460.
    In this paper, we give a constructive nonstandard model of intuitionistic arithmetic (Heyting arithmetic). We present two axiomatisations of the model: one finitary and one infinitary variant. Using the model these axiomatisations are proven to be conservative over ordinary intuitionistic arithmetic. The definition of the model along with the proofs of its properties may be carried out within a constructive and predicative metatheory (such as Martin-Löf's type theory). This paper gives an illustration of the use of sheaf semantics to obtain (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  6.  27
    Abrahamson, KA, Downey, RG and Fellows, MR.R. Banacb, H. Barendregt, J. A. Bergstra, J. V. Tucker, J. Brendle, I. Moerdijk, E. Palmgren, J. I. Seiferas, A. R. Meyer & J. Terlouw - 1995 - Annals of Pure and Applied Logic 73 (1):327.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  57
    Metric Boolean algebras and constructive measure theory.Thierry Coquand & Erik Palmgren - 2002 - Archive for Mathematical Logic 41 (7):687-704.
    This work concerns constructive aspects of measure theory. By considering metric completions of Boolean algebras – an approach first suggested by Kolmogorov – one can give a very simple construction of e.g. the Lebesgue measure on the unit interval. The integration spaces of Bishop and Cheng turn out to give examples of such Boolean algebras. We analyse next the notion of Borel subsets. We show that the algebra of such subsets can be characterised in a pointfree and constructive way by (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  83
    Intuitionism and the anti-justification of bivalence.Peter Pagin - 2008 - Philosophical Explorations.
    forthcoming in S. Lindström, E. Palmgren, K. Segerberg, and V. Stoltenberg-Hansen (eds) Logicism, Intuitionism, and Formalism — What has Become of Them?, Synthese Library, Springer. Pdf file.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. (1 other version)Wittgensteins Diagonal-Argument: Eine Variation auf Cantor und Turing.Juliet Floyd - 2018 - In Bromand Joachim & Reichert Bastian (eds.), Wittgenstein und die Philosophie der Mathematik. Mentis Verlag. pp. 167-197.
    A German translation with 2017 postscript of Floyd, Juliet. 2012. "Wittgenstein's Diagonal Argument: A Variation on Cantor and Turing." In Epistemology versus Ontology, Logic, Epistemology: Essays in Honor of Per Martin-Löf, edited by P. Dybjer, S. Lindström, E. Palmgren and G. Sundholm, 25-44. Dordrecht: Springer Science+Business Media. An analysis of philosophical aspects of Turing's diagonal argument in his (136) "On computable numbers, with an application to the Entscheidungsproblem" in relation to Wittgenstein's writings on Turing and Cantor.
     
    Export citation  
     
    Bookmark   2 citations  
  10.  61
    A functional interpretation for nonstandard arithmetic.Benno van den Berg, Eyvind Briseid & Pavol Safarik - 2012 - Annals of Pure and Applied Logic 163 (12):1962-1994.
    We introduce constructive and classical systems for nonstandard arithmetic and show how variants of the functional interpretations due to Gödel and Shoenfield can be used to rewrite proofs performed in these systems into standard ones. These functional interpretations show in particular that our nonstandard systems are conservative extensions of E-HAω and E-PAω, strengthening earlier results by Moerdijk and Palmgren, and Avigad and Helzner. We will also indicate how our rewriting algorithm can be used for term extraction purposes. To conclude (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  11.  86
    On the connection between Nonstandard Analysis and Constructive Analysis.Sam Sanders - forthcoming - Logique Et Analyse.
    Constructive Analysis and Nonstandard Analysis are often characterized as completely antipodal approaches to analysis. We discuss the possibility of capturing the central notion of Constructive Analysis (i.e. algorithm, finite procedure or explicit construction) by a simple concept inside Nonstandard Analysis. To this end, we introduce Omega-invariance and argue that it partially satisfies our goal. Our results provide a dual approach to Erik Palmgren's development of Nonstandard Analysis inside constructive mathematics.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  42
    Autonomy-based criticisms of the patient preference predictor.E. J. Jardas, David Wasserman & David Wendler - 2022 - Journal of Medical Ethics 48 (5):304-310.
    The patient preference predictor is a proposed computer-based algorithm that would predict the treatment preferences of decisionally incapacitated patients. Incorporation of a PPP into the decision-making process has the potential to improve implementation of the substituted judgement standard by providing more accurate predictions of patients’ treatment preferences than reliance on surrogates alone. Yet, critics argue that methods for making treatment decisions for incapacitated patients should be judged on a number of factors beyond simply providing them with the treatments they would (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  13.  40
    Where Does Schroedinger's “What is Life?” Belong in the History of Molecular Biology?E. J. Yoxen - 1979 - History of Science 17 (1):17-52.
  14. The Conception of Intrinsic Value.G. E. Moore - 1998 - In James Rachels (ed.), Ethical theory. New York: Oxford University Press.
  15. O rabote Ėngelʹsa.Ė Kolʹman - 1946
    No categories
     
    Export citation  
     
    Bookmark  
  16.  23
    Ethical Challenges in Clinical Research During the COVID-19 Pandemic.B. E. Bierer, S. A. White, J. M. Barnes & L. Gelinas - 2020 - Journal of Bioethical Inquiry 17 (4):717-722.
    The sudden emergence of the COVID-19 pandemic brought global disruption to every aspect of society including healthcare, supply chain, the economy, and social interaction. Among the many emergent considerations were the safety and public health of the public, patients, essential workers, and healthcare professionals. In certain locations, clinical research was halted—or terminated—in deference to the immediate needs of patient care, and clinical trials focusing on the treatment and prevention of coronavirus infection were prioritized over studies focusing on other diseases. Difficult (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Obraz sovremennosti: ėticheskie i ėsteticheskie aspekty: materialy mezhdunarodnoĭ nauchnoĭ konferent︠s︡ii, 21 okti︠a︡bri︠a︡ 2002 g.Ė. P. I︠U︡rovskai︠a︡ & T. A. Akindinova (eds.) - 2002 - Sankt-Peterburg: Sankt-Peterburgskoe filosofskoe obshchestvo.
    No categories
     
    Export citation  
     
    Bookmark  
  18. Il comparto sedimentario e la sua disponibilitatrofica per il macrozoobenthos in valle Fattibello e valle Spavola.G. Rossi, E. A. Fano & R. Rossi - 1999 - Laguna 5:42-51.
    No categories
     
    Export citation  
     
    Bookmark  
  19.  21
    Qualità della vita e dignità della persona con dolore cronico persistente: il ruolo delle cure palliative.Felice E. Agrò - 2006 - Acta Philosophica: Rivista Internazionale di Filosofia 15 (2):195-230.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. Mārksiṣṭu tatvavētta, caritra pariśōdhakulu Ēụkūru Balarāmamūrti vyāsāvaḷi.Ēṭukūru Balarāmamūrti - 2002 - Haidarābādu: Pratulaku, Viśālāndhra Pabliṣiṅg Haus. Edited by Ēṭukūru Paṅkajamma.
    Selected articles of Ēṭukūru Balarāmamūrti on Marxist philosophy; includes contributed on his life and work.
     
    Export citation  
     
    Bookmark  
  21. Ciò che è vivo e ciò che è morto della pedagogia di Federico Fröbel.E. Formíggini-Santamaria - 1916 - Genova: A.F. Formíggini.
     
    Export citation  
     
    Bookmark  
  22.  17
    Lectures on Fundamental Concepts of Algebra and Geometry.E. Jordan - 1912 - Philosophical Review 21 (6):718-719.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  23. The Theology of Wolfhart Pannenberg.E. Frank Tupper - unknown
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  24.  15
    [Proceedings of the Aristotelian Society].E. Leroux & R. Guénon - 1919 - Revue Philosophique de la France Et de l'Etranger 88:132 - 158.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  25.  29
    Logica matematica, storia E filosofia Della logica.Storia E. Filosofia Della Logica - 2001 - In V. Fano, M. Stanzione & G. Tarozzi (eds.), Prospettive Della Logica E Della Filosofia Della Scienza. Rubettino.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  13
    Spinozas Philosophy.Errol E. Harris - 1993 - Humanities Press.
    Spinoza's writings on metaphysics, ethics, and politics have had a remarkably diverse reception in recent times and have contributed to the current dialogue among philosophers, intellectual historians, and literary theorists.Errol E. Harris has written a brief and simplified introductory presentation of the major branches of Spinoza's philosophy. Spinoza's ideas are put forward in plain language and supported by convincing argument. Technicalities are either clearly explained or entirely avoided. Professor Harris also shows the student how Spinoza succeeded in reconciling the insights (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  7
    Indogermanische Grammatiken. Band IV.E. Channing & B. Delbruck - 1884 - American Journal of Philology 5 (2):251.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. The Pilgrim Edition of the Holy Bible: With Notes Especially Adapted for Young Christians.E. Schuyler English - 1948
    No categories
     
    Export citation  
     
    Bookmark  
  29. "Origen’s Philosophical Theology and Connections to Platonism." Main lecture, international conference, Hellenism, Early Judaism and Early Christianity: Transmission and Transformation of Ideas, Academy of Sciences, Prague, 12-13 September 2019, ed. Radka Fialová, Jiří Hoblík, and Petr Kitzler, Berlin: de Gruyter, 2021.Ilaria L. E. Ramelli - forthcoming - In Petr Kitzler, Jiri Hohlik & Radka Fialova (eds.), Hellenism, Early Judaism and Early Christianity: Transmission and Transformation of Ideas.
     
    Export citation  
     
    Bookmark  
  30. T&T Clark Handbook to the Early Church, directed with John A. McGuckin and Piotr Ashwin, London: T&T Clark Bloomsbury Academic, 2021.Ilaria L. E. Ramelli - forthcoming
    The volume discusses the key documents, authors, themes and Early Christian traditions in succinct articles by eminent experts (including the Editors). The main 6 sections of the volume trace the vital trajectories of emerging distinctive Christian identity in the Graeco-Roman world and diversities of theologies. Special attention is given to the coherent growth of Christian faith in connection with worship, alongside the crucial transformation of Christian life and doctrine under the Christian Emperor. In addition, readers interested in systematic theology are (...)
     
    Export citation  
     
    Bookmark  
  31.  37
    Foucault On Psychoanalysis: Missed Encounter or Gordian Knot?Mark G. E. Kelly - 2020 - Foucault Studies 1 (28):96-119.
    Foucault’s remarks concerning psychoanalysis are ambivalent and even prima facie contra-dictory, at times lauding Freud and Lacan as anti-humanists, at others being severely criti-cal of their imbrication within psychiatric power. This has allowed a profusion of interpretations of his position, between so-called ‘Freudo-Foucauldians’ at one extreme and Foucauldians who condemn psychoanalysis as such at the other. In this article, I begin by surveying Foucault’s biographical and theoretical relationship to psychoanalysis and the sec-ondary scholarship on this relationship to date. I pay (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  16
    Piezoelectric Energy Harvesting: A Green and Clean Alternative for Sustained Power Production.E. B. Hameyie, Mary Anne Bitetto, Nithya Thambi & Kimberly Ann Cook-Chennault - 2008 - Bulletin of Science, Technology and Society 28 (6):496-509.
    Providing efficient and clean power is a challenge for devices that range from the micro to macro in scale. Although there has been significant progress in the development of micro-, meso-, and macro-scale power supplies and technologies, realization of many devices is limited by the inability of power supplies to scale with the diminishing sizes of CMOS-based technology. Here, the authors provide an overview of piezoelectric energy harvesting technology along with a discussion of proof of concept devices, relevant governing equations, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  29
    Gregorio di Nissa Sull'anima e la resurrezione.Ilaria L. E. Ramelli - 2007 - Milan: Bompiani, in collaboration with the Catholic University of the Sacred Heart in Milan. Series: Il Pensiero Occidentale. Pp. 1352..
    Four critical essays (on De Anima, on In Illud: Tunc et Ipse Filius, on Patristic Platonism, and on the doctrine of apokatastasis in Gregory of Nyssa and Origen), new Greek edition of De anima also based on the Coptic version predating every Greek manuscript, translations of, and commentaries on, both De Anima and In Illud: Tunc et Ipse Filius, appendixes (on the Syriac and Coptic translations of De Anima and on its reception among the Cambridge Platonists, with the first Italian (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  34. Man's Estimate of Man.E. H. Robertson - 1958
    No categories
     
    Export citation  
     
    Bookmark  
  35.  58
    On knowing that.E. M. Adams - 1958 - Philosophical Quarterly 8 (33):300-306.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  36.  49
    A Plea for a New Nominalism.E. M. Zemach - 1982 - Canadian Journal of Philosophy 12 (3):527 - 537.
    I believe that the world is a totality of things: there are no properties, or relations, or sets, or states of affairs, or facts, or events; there are only particular things. I also believe that all true statements can be expressed in a canonical language which includes names of things and logical terms only: there will be no predicates in this language. For what is a predicate? Some say that predicates are names of universals which individual things exemplify, or names (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37. The Forms of Power: From Domination to Transformation.Thomas E. Wartenberg - 1990 - Philadelphia, PA, USA: Temple University Press.
    Examining the ways in which philosophers from Plato onwards have used the concept of power, this work develops a field theory of power that rejects many of the reigning assumptions made about power. Incorporating the insights of feminist theorists, it argues that power has a positive as well as a negative role to play in social relations.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  38. Space and Geometry in the Light of physiological, psychological and physical Inquiry.E. Mach & T. J. Mccormack - 1907 - Revue Philosophique de la France Et de l'Etranger 64:101-102.
     
    Export citation  
     
    Bookmark   7 citations  
  39. Respeitar a Mãe Terra.Maya Pataxo Hãhãhãe - 2014 - In Maria Pankararu & Edson Kayapó (eds.), Memória da Mãe Terra. [Olivença, Bahia, Brazil]: Thydêwá.
    No categories
     
    Export citation  
     
    Bookmark  
  40.  9
    A Psychology for People of God.E. Rae Harcum - 2012 - Hamilton Books.
    E. Rae Harcum argues that Christians do not have to give up their religious faith to keep the contributions of science. He confronts the relation between the human body and its non-material parts—the mind and spirit—and provides a way of looking at these metaphysical issues.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. Il principio trascendentale e l'autonomia dell'arte nell'estetica filosofica di A. Banfì.Note E. Rassegne - 1962 - Rivista di Estetica 7:442.
     
    Export citation  
     
    Bookmark  
  42. Mathematics, Substance and Surmise.E. Davis & P. Davis (eds.) - 2015 - Springer.
    No categories
     
    Export citation  
     
    Bookmark  
  43.  21
    Comment: Historians in the Emotion Laboratory.Otniel E. Dror - 2020 - Emotion Review 12 (3):191-192.
    In this comment, I indicate several challenges and opportunities—out of the many—for an integrated science–humanities approach to emotions, from the perspective of a historian of the modern science...
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  40
    Unintelligible Silence.Katherine E. Entigar - 2020 - Outlines. Critical Practice Studies 21 (1):06-18.
    What is silence? Is it a loss, an omission? Is it a stopping of the mouth, of the voice? An empty place where no meaning has come forward…or perhaps at times quite the opposite, an absence-as-presence Deleuze, 1990; Derrida, 1976)? Might silence evoke much more about what we assume is our monological, unitary reality, indexing possibilities yet unseen? This paper outlines the ways in which silence is typically understood according to scholarly orthodoxy: as omission in human communication or a silencing (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. Jesus of Nazareth, in The Oxford Classical Dictionary, digital edition, ed. Sander Goldberg, Elizabeth DePalma Digeser, and Tim Whitmarsh, Oxford: OUP, 2021.Ilaria L. E. Ramelli - forthcoming - Oxford Classical Dictionary.
    No categories
     
    Export citation  
     
    Bookmark  
  46.  20
    Kierkegaard y el salto de fe. Un acto de individualidad.A. Jonás E. Aponte - 2020 - Hybris, Revista de Filosofí­A 11 (1):197-224.
    The purpose of this essay is to analyze succinctly the concept of faith through the very penetrating gaze of the Danish philosopher Sören Kierkegaard. Faith is analyzed by Kierkegaard from absurdity, resignation and the paradox of faith. In the same way, his concept of faith is carved with a chisel that would complete all his philosophy, that is, to touch human reality away from any abstract thought, trying at all times that his examination be seen on a personal dimension in (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  6
    Estado de derecho, teoría del derecho e interpretación jurídica.Eduardo E. Magoja, Luciano D. Laise & Juan Cianciardo (eds.) - 2022 - Ciudad de Buenos Aires: Abaco.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  12
    Face to Face: The Photography of Lloyd E. Moore.Lloyd E. Moore - 2012 - Ohio University Press.
    A remarkable collection of photographs by an ex-Marine who worked as a lawyer in Lawrence County, Ohio, for around thirty-six years.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  16
    Brewster, Ethel Hampson: Roman Craftsmen and Tradesmen of the Early Empire.E. S. Wright - 1918 - Classical Weekly 12:38-39.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  13
    Features of the naming of weapons and military equipment in contemporary information discourse.E. A. Yakovleva & E. N. Irnazarov - 2018 - Liberal Arts in Russiaроссийский Гуманитарный Журналrossijskij Gumanitarnyj Žurnalrossijskij Gumanitarnyj Zhurnalrossiiskii Gumanitarnyi Zhurnal 7 (2):132.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 961