Results for 'E. Ellentuck'

975 found
Order:
  1.  13
    Recursion relative to regressive functions.J. C. E. Dekker & E. Ellentuck - 1974 - Annals of Mathematical Logic 6 (3-4):231-257.
  2.  35
    Isols and the pigeonhole principle.J. C. E. Dekker & E. Ellentuck - 1989 - Journal of Symbolic Logic 54 (3):833-846.
    In this paper we generalize the pigeonhole principle by using isols as our fundamental counting tool.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  21
    Myhill's work in recursion theory.J. C. E. Dekker & E. Ellentuck - 1992 - Annals of Pure and Applied Logic 56 (1-3):43-71.
    In this paper we discuss the following contributions to recursion theory made by John Myhill: two sets are recursively isomorphic iff they are one-one equivalent; two sets are recursively isomorphic iff they are recursively equivalent and their complements are also recursively equivalent; every two creative sets are recursively isomorphic; the recursive analogue of the Cantor–Bernstein theorem; the notion of a combinatorial function and its use in the theory of recursive equivalence types.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  16
    J. C. E. Dekker. The minimum of two regressive isols. Mathematische Zeitschrift, vol. 83 , pp. 345–366.Erik Ellentuck - 1968 - Journal of Symbolic Logic 32 (4):527.
  5. Review: J. C. E. Dekker, The Minimum of Two Regressive Isols. [REVIEW]Erik Ellentuck - 1967 - Journal of Symbolic Logic 32 (4):527-527.
  6. A new proof that analytic sets are Ramsey.Erik Ellentuck - 1974 - Journal of Symbolic Logic 39 (1):163-165.
    We give a direct mathematical proof of the Mathias-Silver theorem that every analytic set is Ramsey.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  7.  45
    Hyper-Torre isols.Erik Ellentuck - 1981 - Journal of Symbolic Logic 46 (1):1-5.
    If T is an isol let D(T) be the least set of isols which contains T and is closed under predecessors and the application of almost recursive combinatorial functions. We find an infinite regressive isol T such that the universal theory (with respect to recursive relations and almost recursive combinatorial functions) of D(T) is the same as that of the nonnegative integers.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8. Incompatible extensions of combinatorial functions.Erik Ellentuck - 1983 - Journal of Symbolic Logic 48 (3):752-755.
    We find necessary and sufficient conditions for compatibility of the Myhill and the Nerode extensions of a combinatorial function to the isols.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  40
    Categoricity regained.Erik Ellentuck - 1976 - Journal of Symbolic Logic 41 (3):639-643.
  10.  20
    The foundations of suslin logic.Erik Ellentuck - 1975 - Journal of Symbolic Logic 40 (4):567-575.
  11.  14
    Degrees of isolic theories.Erik Ellentuck - 1973 - Notre Dame Journal of Formal Logic 14 (3):331-340.
  12. A coding theorem for isols.Erik Ellentuck - 1970 - Journal of Symbolic Logic 35 (3):378-382.
  13.  20
    An algebraic difference between isols and cosimple isols.Erik Ellentuck - 1972 - Journal of Symbolic Logic 37 (3):557-561.
    There is a fairly simple algebraic property that distinguishes isols from cosimple isols.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  14.  44
    A choice free theory of dedekind cardinals.Erik Ellentuck - 1969 - Journal of Symbolic Logic 34 (1):70-84.
  15.  18
    Almost combinatorial Skolem functions.Erik Ellentuck - 1970 - Journal of Symbolic Logic 35 (1):65-72.
  16.  13
    A $Delta^0_2$ Theory of Regressive Isols.Erik Ellentuck - 1974 - Journal of Symbolic Logic 39 (3):459-468.
    We examine the action of unary $\Delta^0_2$ functions on the regressive isols. A manageable theory is produced and we find that such a function maps $\Lambda_R$ into $\Lambda$ if and only if it is eventually $R\uparrow$ increasing and maps $\Lambda_R$ into $\Lambda_R$ if and only if it is eventually recursive increasing. Our paper concludes with a discussion of other methods for extending functions to $\Lambda_R$.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  10
    A Non‐Representation Theorem for Gödel‐Bernays Set Theory.Erik Ellentuck - 1970 - Mathematical Logic Quarterly 16 (6):341-345.
  18.  17
    A Δ02 theory of regressive isols.Erik Ellentuck - 1974 - Journal of Symbolic Logic 39 (3):459 - 468.
    We examine the action of unary Δ 0 2 functions on the regressive isols. A manageable theory is produced and we find that such a function maps Λ R into Λ if and only if it is eventually $R\uparrow$ increasing and maps Λ R into Λ R if and only if it is eventually recursive increasing. Our paper concludes with a discussion of other methods for extending functions to Λ R.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  19.  13
    Barback J.. Recursive functions and regressive isols. Mathematica Scandinavica, vol. 15 , pp. 29–42.Erik Ellentuck - 1967 - Journal of Symbolic Logic 32 (2):269-270.
  20.  16
    Decomposable Isols and Their Degrees.Erik Ellentuck - 1976 - Mathematical Logic Quarterly 22 (1):251-260.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  31
    Decomposable Isols and Their Degrees.Erik Ellentuck - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):251-260.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  15
    Extensions of Isolic Models.Erik Ellentuck - 1971 - Mathematical Logic Quarterly 17 (1):323-333.
  23.  25
    Extensions of Isolic Models.Erik Ellentuck - 1971 - Mathematical Logic Quarterly 17 (1):323-333.
  24.  16
    Galois Theorems for Isolated Fields.Erik Ellentuck - 1981 - Mathematical Logic Quarterly 27 (1):1-9.
  25.  28
    Galois Theorems for Isolated Fields.Erik Ellentuck - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (1):1-9.
  26.  8
    Model theoretic methods in the theory of isols.Erik Ellentuck - 1978 - Annals of Mathematical Logic 14 (3):273-285.
  27.  11
    Nonrecursive combinatorial functions.Erik Ellentuck - 1972 - Journal of Symbolic Logic 37 (1):90-95.
  28.  13
    Random isols.Erik Ellentuck - 1983 - Mathematical Logic Quarterly 29 (1):1-6.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  26
    The positive properties of isolic integers.Erik Ellentuck - 1972 - Journal of Symbolic Logic 37 (1):114-132.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  30.  40
    The Representation of Cardinals in Models of Set Theory.Erik Ellentuck - 1968 - Mathematical Logic Quarterly 14 (7-12):143-158.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  12
    The Representation of Cardinals in Models of Set Theory.Erik Ellentuck - 1968 - Mathematical Logic Quarterly 14 (7‐12):143-158.
  32.  1
    Incompleteness via simple sets.Erik Ellentuck - 1971 - Notre Dame Journal of Formal Logic 12 (2):255-256.
  33. Personal agency: the metaphysics of mind and action.E. J. Lowe - 2008 - New York: Oxford University Press.
    This theory accords to volitions the status of basic mental actions, maintaining that these are spontaneous exercises of the will--a "two-way" power which ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   104 citations  
  34.  14
    Les formes élémentaires de la vie religieuse.Émile Durkheim - 1937 - Paris,: F. Alcan.
    Durkheim écrit ce livre avec un but double : d'abord il voulait expliquer ce qui crée une société, ce qui la tient ensemble ; ensuite il voulait éclaircir l'influence qu'a la société sur la pensée logique. Pour Durkheim, la religion est la clé utilisée pour déverrouiller ces deux problématiques.Dans ce livre, Durkheim argumente que les représentations religieuses sont en fait des représentations collectives : l'essence du religieux ne peut être que le sacré. Il est une caractéristique qui se trouve universellement (...)
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  35.  14
    Myhill John. Ω — Λ. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 97–104. [REVIEW]Erik Ellentuck - 1969 - Journal of Symbolic Logic 33 (4):619-620.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36.  6
    Review: J. Barback, Recursive Functions and Regressive Isols. [REVIEW]Erik Ellentuck - 1967 - Journal of Symbolic Logic 32 (2):269-270.
  37.  9
    Review: John Myhill, Recursive Function Theory. [REVIEW]Erik Ellentuck - 1968 - Journal of Symbolic Logic 33 (4):619-620.
  38. The generality problem for reliabilism. E. Conee & R. Feldman - 1998 - Philosophical Studies 89 (1):1-29.
  39. Ontological Dependency.E. J. Lowe - 1994 - Philosophical Papers 23 (1):31-48.
  40. Art, perception and reality.E. H. Gombrich, J. Hochberg & Black - 1975 - Revue Philosophique de la France Et de l'Etranger 165 (4):487-488.
     
    Export citation  
     
    Bookmark   30 citations  
  41.  99
    Empathy & Literature.A. E. Denham - 2024 - Emotion Review 16 (2):84-95.
    There is a long tradition in philosophy and literary theory defending the view that engagement with literature promotes readers’ empathy. Until the last century, few of the empirical claims adduced in that tradition were investigated experimentally. Recent work in psychology and neuropsychology has now shed new light on the interplay of empathy and literature. This article surveys the experimental findings, addressing three central questions: What is it to read empathically? Does reading make us more empathic? What characteristics of literature, if (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  61
    The elementary forms of the religious life.Émile Durkheim - 1926 - New York,: The Macmillan company. Edited by Joseph Ward Swain.
  43.  15
    Spinoza and politics.Étienne Balibar - 1998 - New York: Verso. Edited by Peter Snowdon.
    The Spinoza party -- The Tractatus Theologico-Politicus: a democratic manifesto -- The Tractatus Politicus: a science of the state -- The Ethics: a political anthropology -- Politics and communication.
    Direct download  
     
    Export citation  
     
    Bookmark   29 citations  
  44. Elorduy, E.: "ammonio Sakkas. La Doctrina De La Creación Y Del Mal En Procio Y En El Pseudoareopagita".E. Lledó & Staff - 1960 - Revista de Filosofía (Misc.) 19 (73/74):274.
    No categories
     
    Export citation  
     
    Bookmark  
  45.  5
    Polnota kak ėsteticheskai︠a︡ kategorii︠a︡.E. I︠A︡ Basin - 2011 - Moskva: Slovo. Edited by S. S. Stupin.
    Издание содержит: хрестоматия; философы; психологи; литературоведы, искусствоведы; мастер изобразительного искусства и др.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  3
    Michel Foucault: a research companion.Sverre Raffnsøe - 2016 - New York: Palgrave-Macmillan.
    With special emphasis on Foucault's many recently published lecture series this book provides an updated, comprehensive presentation of his most important diagnoses, his many ground-breaking analytical concepts as well as a systematic account of his unique conception of philosophy.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  47. Maistrian afterlives of the theological Enlightenment. Enigmatic images of an invisible world : sacrifice, suffering and theodicy in Joseph de Maistre / Douglas Hedley ; Why Maistre became Ultramontane / Emile Perreau-Saussine ; The Savoyard philosopher : deist or Neoplatonist? / Aimee E. Barbeau ; The pedagogical nature of Maistre's thought.Élcio Vercosa Filho - 2011 - In Carolina Armenteros & Richard Lebrun (eds.), Joseph de Maistre and the legacy of Enlightenment. Oxford: Voltaire Foundation.
     
    Export citation  
     
    Bookmark  
  48. Spatial perception: The perspectival aspect of perception.E. J. Green & Susanna Schellenberg - 2018 - Philosophy Compass 13 (2):e12472.
    When we perceive an object, we perceive the object from a perspective. As a consequence of the perspectival nature of perception, when we perceive, say, a circular coin from different angles, there is a respect in which the coin looks circular throughout, but also a respect in which the coin's appearance changes. More generally, perception of shape and size properties has both a constant aspect—an aspect that remains stable across changes in perspective—and a perspectival aspect—an aspect that changes depending on (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  49. The world as will and representation.Arthur Schopenhauer & E. F. J. Payne - 2010 - New York: Cambridge University Press. Edited by Judith Norman, Alistair Welchman & Christopher Janaway.
    First published in 1818, The World as Will and Representation contains Schopenhauer's entire philosophy, ranging through epistemology, metaphysics, philosophy of mind and action, aesthetics and philosophy of art, to ethics, the meaning of life and the philosophy of religion, in an attempt to account for the world in all its significant aspects. It gives a unique and influential account of what is and is not of value in existence, the striving and pain of the human condition and the possibility of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   210 citations  
  50. Explanation Hacking: The perils of algorithmic recourse.E. Sullivan & Atoosa Kasirzadeh - forthcoming - In Juan Manuel Durán & Giorgia Pozzi (eds.), Philosophy of science for machine learning: Core issues and new perspectives. Springer.
    We argue that the trend toward providing users with feasible and actionable explanations of AI decisions—known as recourse explanations—comes with ethical downsides. Specifically, we argue that recourse explanations face several conceptual pitfalls and can lead to problematic explanation hacking, which undermines their ethical status. As an alternative, we advocate that explanations of AI decisions should aim at understanding.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 975