Results for 'Doug Downey'

672 found
Order:
  1.  13
    Analysis of a probabilistic model of redundancy in unsupervised information extraction.Doug Downey, Oren Etzioni & Stephen Soderland - 2010 - Artificial Intelligence 174 (11):726-748.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  19
    Unsupervised named-entity extraction from the Web: An experimental study.Oren Etzioni, Michael Cafarella, Doug Downey, Ana-Maria Popescu, Tal Shaked, Stephen Soderland, Daniel S. Weld & Alexander Yates - 2005 - Artificial Intelligence 165 (1):91-134.
  3.  79
    II. "Implications of Polanyi's Thought Within the Arts" A Bibliographic Essay" by Doug Adams.Doug Adams - 1975 - Tradition and Discovery 2 (2):3-5.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  64
    A Response to Daniel Holbrook's 'Descartes on Persons' and Doug Anderson's 'The Legacy oE Bowne's Empiricism'.Doug Anderson - 1992 - The Personalist Forum 8 (Supplement):15-20.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5. Calibrating randomness.Rod Downey, Denis R. Hirschfeldt, André Nies & Sebastiaan A. Terwijn - 2006 - Bulletin of Symbolic Logic 12 (3):411-491.
    We report on some recent work centered on attempts to understand when one set is more random than another. We look at various methods of calibration by initial segment complexity, such as those introduced by Solovay [125], Downey, Hirschfeldt, and Nies [39], Downey, Hirschfeldt, and LaForte [36], and Downey [31]; as well as other methods such as lowness notions of Kučera and Terwijn [71], Terwijn and Zambella [133], Nies [101, 100], and Downey, Griffiths, and Reid [34]; (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  6. Predictive processing and the representation wars: a victory for the eliminativist.Adrian Downey - 2018 - Synthese 195 (12):5115-5139.
    In this paper I argue that, by combining eliminativist and fictionalist approaches toward the sub-personal representational posits of predictive processing, we arrive at an empirically robust and yet metaphysically innocuous cognitive scientific framework. I begin the paper by providing a non-representational account of the five key posits of predictive processing. Then, I motivate a fictionalist approach toward the remaining indispensable representational posits of predictive processing, and explain how representation can play an epistemologically indispensable role within predictive processing explanations without thereby (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  7.  27
    Computably Compact Metric Spaces.Rodney G. Downey & Alexander G. Melnikov - 2023 - Bulletin of Symbolic Logic 29 (2):170-263.
    We give a systematic technical exposition of the foundations of the theory of computably compact metric spaces. We discover several new characterizations of computable compactness and apply these characterizations to prove new results in computable analysis and effective topology. We also apply the technique of computable compactness to give new and less combinatorially involved proofs of known results from the literature. Some of these results do not have computable compactness or compact spaces in their statements, and thus these applications are (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  8. Where the ethical action is.Doug Hardman & Phil Hutchinson - 2022 - Journal of Medical Ethics 49 (1):45–48.
    It is common to think of medical and ethical modes of thought as different in kind. In such terms, some clinical situations are made more complicated by an additional ethical component. Against this picture, we propose that medical and ethical modes of thought are not different in kind, but merely different aspects of what it means to be human. We further propose that clinicians are uniquely positioned to synthesise these two aspects without prior knowledge of philosophical ethics.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  9.  28
    A Hierarchy of Computably Enumerable Degrees.Rod Downey & Noam Greenberg - 2018 - Bulletin of Symbolic Logic 24 (1):53-89.
    We introduce a new hierarchy of computably enumerable degrees. This hierarchy is based on computable ordinal notations measuring complexity of approximation of${\rm{\Delta }}_2^0$functions. The hierarchy unifies and classifies the combinatorics of a number of diverse constructions in computability theory. It does so along the lines of the high degrees (Martin) and the array noncomputable degrees (Downey, Jockusch, and Stob). The hierarchy also gives a number of natural definability results in the c.e. degrees, including a definable antichain.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  18
    [Omnibus Review].Rod Downey - 1997 - Journal of Symbolic Logic 62 (3):1048-1055.
    Robert I. Soare, Automorphisms of the Lattice of Recursively Enumerable Sets. Part I: Maximal Sets.Manuel Lerman, Robert I. Soare, $d$-Simple Sets, Small Sets, and Degree Classes.Peter Cholak, Automorphisms of the Lattice of Recursively Enumerable Sets.Leo Harrington, Robert I. Soare, The $\Delta^0_3$-Automorphism Method and Noninvariant Classes of Degrees.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  11.  29
    Topologies of Air and the Airspace Tribunal: Shona Illingworth and Anthony Downey.Shona Illingworth & Anthony Downey - 2021 - Philosophy of Photography 12 (1):7-25.
    Can we deploy creative practices to critically address the fatal interlocking of global surveillance technologies, neo-colonial expansionism, environmental degradation and the lethal threat of drone warfare? Throughout the following conversation, Shona Illingworth and Anthony Downey examine these and other questions in relation to the recent publication of Topologies of Air (Sternberg Press and The Power Plant, 2022). Edited by Downey, the book includes discussion and documentation of two major bodies of work by Illingworth, including Topologies of Air (2021) (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  52
    Relativizing chaitin's halting probability.Rod Downey, Denis R. Hirschfeldt, Joseph S. Miller & André Nies - 2005 - Journal of Mathematical Logic 5 (02):167-192.
    As a natural example of a 1-random real, Chaitin proposed the halting probability Ω of a universal prefix-free machine. We can relativize this example by considering a universal prefix-free oracle machine U. Let [Formula: see text] be the halting probability of UA; this gives a natural uniform way of producing an A-random real for every A ∈ 2ω. It is this operator which is our primary object of study. We can draw an analogy between the jump operator from computability theory (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  13. Deficient virtue in the Phaedo.Doug Reed - 2020 - Classical Quarterly 70 (1):119-130.
    Plato seems to have been pessimistic about how most people stand with regard to virtue. However, unlike the Stoics, he did not conclude that most people are vicious. Rather, as we know from discussions across several dialogues, he countenanced decent ethical conditions that fall short of genuine virtue, which he limited to the philosopher. Despite Plato's obvious interest in this issue, commentators rarely follow his lead by investigating in detail such conditions in the dialogues. When scholars do investigate what kind (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  14.  42
    Splitting theorems in recursion theory.Rod Downey & Michael Stob - 1993 - Annals of Pure and Applied Logic 65 (1):1-106.
    A splitting of an r.e. set A is a pair A1, A2 of disjoint r.e. sets such that A1 A2 = A. Theorems about splittings have played an important role in recursion theory. One of the main reasons for this is that a splitting of A is a decomposition of A in both the lattice, , of recursively enumerable sets and in the uppersemilattice, R, of recursively enumerable degrees . Thus splitting theor ems have been used to obtain results about (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  15.  31
    Pretending to care.Doug Hardman - 2023 - Journal of Medical Ethics 49 (7):506-509.
    On one hand, it is commonly accepted that clinicians should not deceive their patients, yet on the other there are many instances in which deception could be in a patient’s best interest. In this paper, I propose that this conflict is in part driven by a narrow conception of deception as contingent on belief. I argue that we cannot equate non-deceptive care solely with introducing or sustaining a patient’s true belief about their condition or treatment, because there are many instances (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  16.  36
    Public reason in justifications of conscientious objection in health care.Doug McConnell & Robert F. Card - 2019 - Bioethics 33 (5):625-632.
    Current mainstream approaches to conscientious objection either uphold the standards of public health care by preventing objections or protect the consciences of health‐care professionals by accommodating objections. Public justification approaches are a compromise position that accommodate conscientious objections only when objectors can publicly justify the grounds of their objections. Public justification approaches require objectors and assessors to speak a common normative language and to this end it has been suggested that objectors should be required to cast their objection in terms (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  17.  34
    Neutron irradiation damage in molybdenum.M. E. Downey & B. L. Eyre - 1965 - Philosophical Magazine 11 (109):53-70.
  18.  16
    Lattice nonembeddings and initial segments of the recursively enumerable degrees.Rod Downey - 1990 - Annals of Pure and Applied Logic 49 (2):97-119.
  19. Investigative Ordinary Language Philosophy.Doug Hardman & Phil Hutchinson - 2022 - Philosophical Investigations 45 (4):453-470.
    In this paper, we explicate the method of Investigative Ordinary Language Philosophy (IOLP). The term was coined by John Cook to describe the unique philosophical approach of Frank Ebersole. We argue that (i) IOLP is an overlooked yet valuable philosophical method grounded in our everyday experiences and concerns; and (ii) as such, Frank Ebersole is an important but neglected figure in the history of ordinary language philosophy.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  20.  59
    Balancing the duty to treat with the duty to family in the context of the COVID-19 pandemic.Doug McConnell - 2020 - Journal of Medical Ethics 46 (6):360-363.
    Healthcare systems around the world are struggling to maintain a sufficient workforce to provide adequate care during the COVID-19 pandemic. Staffing problems have been exacerbated by healthcare workers (HCWs) refusing to work out of concern for their families. I sketch a deontological framework for assessing when it is morally permissible for HCWs to abstain from work to protect their families from infection and when it is a dereliction of duty to patients. I argue that it is morally permissible for HCWs (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  21.  38
    Computably enumerable sets and quasi-reducibility.R. Downey, G. LaForte & A. Nies - 1998 - Annals of Pure and Applied Logic 95 (1-3):1-35.
    We consider the computably enumerable sets under the relation of Q-reducibility. We first give several results comparing the upper semilattice of c.e. Q-degrees, RQ, Q, under this reducibility with the more familiar structure of the c.e. Turing degrees. In our final section, we use coding methods to show that the elementary theory of RQ, Q is undecidable.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  22.  43
    On Schnorr and computable randomness, martingales, and machines.Rod Downey, Evan Griffiths & Geoffrey Laforte - 2004 - Mathematical Logic Quarterly 50 (6):613-627.
    We examine the randomness and triviality of reals using notions arising from martingales and prefix-free machines.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  23. Computability theory and linear orders.Rod Downey - 1998 - In I︠U︡riĭ Leonidovich Ershov, Handbook of recursive mathematics. New York: Elsevier. pp. 138--823.
     
    Export citation  
     
    Bookmark   13 citations  
  24.  64
    Delegation in Democracy: A Temporal Analysis.Leah Downey - 2020 - Journal of Political Philosophy 29 (3):305-329.
    Journal of Political Philosophy, EarlyView.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  25.  54
    Narrative, addiction, and three aspects of self-ambiguity.Doug McConnell & Anna Golova - 2023 - Philosophical Explorations 26 (1):66-85.
    ABSTRACT‘Self-ambiguity’, we suggest, is best understood as an uncertainty about how strongly a given feature reflects who one truly is. When this understanding of self-ambiguity is applied to a view of the self as having both essential and shapable components, self-ambiguity can be seen to have two aspects: (1) uncertainty about one's essential or relatively unchangeable characteristics, e.g. one's sexuality, and (2) uncertainty about how to shape oneself, e.g. which values to commit to, actions to pursue, or essential features to (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  26.  45
    Conscientious Objection in Health Care: Pinning down the Reasonability View.Doug McConnell - 2021 - Journal of Medicine and Philosophy 46 (1):37-57.
    Robert Card’s “Reasonability View” is a significant contribution to the debate over the place of conscientious objection in health care. In his view, conscientious objections can only be accommodated if the grounds for the objection meet a reasonability standard. I identify inconsistencies in Card’s description of the reasonability standard and argue that each version he specifies is unsatisfactory. The criteria for reasonability that Card sets out most frequently have no clear underpinning principle and are too permissive of immoral objections. Card (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  27. Split-brain syndrome and extended perceptual consciousness.Adrian Downey - 2018 - Phenomenology and the Cognitive Sciences 17 (4):787-811.
    In this paper I argue that split-brain syndrome is best understood within an extended mind framework and, therefore, that its very existence provides support for an externalist account of conscious perception. I begin by outlining the experimental aberration model of split-brain syndrome and explain both: why this model provides the best account of split-brain syndrome; and, why it is commonly rejected. Then, I summarise Susan Hurley’s argument that split-brain subjects could unify their conscious perceptual field by using external factors to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  28.  70
    On the complexity of the successivity relation in computable linear orderings.Rod Downey, Steffen Lempp & Guohua Wu - 2010 - Journal of Mathematical Logic 10 (1):83-99.
    In this paper, we solve a long-standing open question, about the spectrum of the successivity relation on a computable linear ordering. We show that if a computable linear ordering [Formula: see text] has infinitely many successivities, then the spectrum of the successivity relation is closed upwards in the computably enumerable Turing degrees. To do this, we use a new method of constructing [Formula: see text]-isomorphisms, which has already found other applications such as Downey, Kastermans and Lempp [9] and is (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  29.  44
    Effective Packing Dimension and Traceability.Rod Downey & Keng Meng Ng - 2010 - Notre Dame Journal of Formal Logic 51 (2):279-290.
    We study the Turing degrees which contain a real of effective packing dimension one. Downey and Greenberg showed that a c.e. degree has effective packing dimension one if and only if it is not c.e. traceable. In this paper, we show that this characterization fails in general. We construct a real $A\leq_T\emptyset''$ which is hyperimmune-free and not c.e. traceable such that every real $\alpha\leq_T A$ has effective packing dimension 0. We construct a real $B\leq_T\emptyset'$ which is not c.e. traceable (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30.  75
    Highness and bounding minimal pairs.Rodney G. Downey, Steffen Lempp & Richard A. Shore - 1993 - Mathematical Logic Quarterly 39 (1):475-491.
  31.  26
    Punctual Categoricity and Universality.Rod Downey, Noam Greenberg, Alexander Melnikov, Keng Meng Ng & Daniel Turetsky - 2020 - Journal of Symbolic Logic 85 (4):1427-1466.
    We describe punctual categoricity in several natural classes, including binary relational structures and mono-unary functional structures. We prove that every punctually categorical structure in a finite unary language is${\text {PA}}(0')$-categorical, and we show that this upper bound is tight. We also construct an example of a punctually categorical structure whose degree of categoricity is$0''$. We also prove that, with a bit of work, the latter result can be pushed beyond$\Delta ^1_1$, thus showing that punctually categorical structures can possess arbitrarily complex (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  32.  30
    Structural interactions of the recursively enumerable T- and W-degrees.R. G. Downey & M. Stob - 1986 - Annals of Pure and Applied Logic 31:205-236.
  33.  65
    Asymptotic density and computably enumerable sets.Rodney G. Downey, Carl G. Jockusch & Paul E. Schupp - 2013 - Journal of Mathematical Logic 13 (2):1350005.
    We study connections between classical asymptotic density, computability and computable enumerability. In an earlier paper, the second two authors proved that there is a computably enumerable set A of density 1 with no computable subset of density 1. In the current paper, we extend this result in three different ways: The degrees of such sets A are precisely the nonlow c.e. degrees. There is a c.e. set A of density 1 with no computable subset of nonzero density. There is a (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  34. A Δ20 set with no infinite low subset in either it or its complement.Rod Downey, Denis R. Hirschfeldt, Steffen Lempp & Reed Solomon - 2001 - Journal of Symbolic Logic 66 (3):1371-1381.
    We construct the set of the title, answering a question of Cholak, Jockusch, and Slaman [1], and discuss its connections with the study of the proof-theoretic strength and effective content of versions of Ramsey's Theorem. In particular, our result implies that every ω-model of RCA 0 + SRT 2 2 must contain a nonlow set.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  35. Narrative Self-Constitution and Recovery from Addiction.Doug McConnell - 2016 - American Philosophical Quarterly 53 (3):307-322.
    Why do some addicted people chronically fail in their goal to recover, while others succeed? On one established view, recovery depends, in part, on efforts of intentional planning agency. This seems right, however, firsthand accounts of addiction suggest that the agent’s self-narrative also has an influence. This paper presents arguments for the view that self-narratives have independent, self-fulfilling momentum that can support or undermine self-governance. The self-narrative structures of addicted persons can entrench addiction and alienate the agent from practically feasible (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  36.  26
    UK doctors’ strikes 2023: not only justified but, arguably, supererogatory.Doug McConnell & Darren Mann - 2024 - Journal of Medical Ethics 50 (3):152-156.
    The 2023 doctors’ strikes in the UK have elicited a familiar moral outcry that such strikes are morally wrong. We consider five arguments that might be thought to show doctors’ strikes are morally impermissible but show that they all fail. The most we can conclude from such arguments is that doctors’ strikes are morally permissible in a narrower range of circumstances than strikes in other sectors.We then outline two independent but compatible justifications for doctors’ strikes, one that appeals to doctors’ (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  37.  52
    Schnorr Randomness.Rodney G. Downey & Evan J. Griffiths - 2004 - Journal of Symbolic Logic 69 (2):533 - 554.
    Schnorr randomness is a notion of algorithmic randomness for real numbers closely related to Martin-Löf randomness. After its initial development in the 1970s the notion received considerably less attention than Martin-Löf randomness, but recently interest has increased in a range of randomness concepts. In this article, we explore the properties of Schnorr random reals, and in particular the c.e. Schnorr random reals. We show that there are c.e. reals that are Schnorr random but not Martin-Löf random, and provide a new (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  38.  17
    ‘Habitus in Extremis’: From Embodied Culture to Bio-Cultural Development.Greg Downey - 2014 - Body and Society 20 (2):113-117.
    Loïc Wacquant argues for a radicalization of the habitus concept provided by Pierre Bourdieu, suggesting that habitus is a site and mode for conducting research, not simply an explanatory or theoretical mechanism. Taking seriously this call to examine skills and communities of practice through apprenticeship, however, requires that the theoretical account of habitus be subject to empirical testing. Moreover, enquiry into communities of practice, especially the subtle psychological, behavioural and even neurological consequences of skill acquisition, means that claims about the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  39.  89
    A Fictionalist Account of Open-Label Placebo.Doug Hardman - 2024 - Journal of Medicine and Philosophy 49 (3):246-256.
    The placebo effect is now generally defined widely as an individual’s response to the psychosocial context of a clinical treatment, as distinct from the treatment’s characteristic physiological effects. Some researchers, however, argue that such a wide definition leads to confusion and misleading implications. In response, they propose a narrow definition restricted to the therapeutic effects of deliberate placebo treatments. Within the framework of modern medicine, such a scope currently leaves one viable placebo treatment paradigm: the non-deceptive and non-concealed administration of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  37
    (1 other version)Jumps of Hemimaximal Sets.Rod Downey & Mike Stob - 1991 - Mathematical Logic Quarterly 37 (8):113-120.
  41. Completely mitotic R.E. degrees.R. G. Downey & T. A. Slaman - 1989 - Annals of Pure and Applied Logic 41 (2):119-152.
  42.  36
    Recursion theory and ordered groups.R. G. Downey & Stuart A. Kurtz - 1986 - Annals of Pure and Applied Logic 32:137-151.
  43. Lowness and Π₂⁰ nullsets.Rod Downey, Andre Nies, Rebecca Weber & Liang Yu - 2006 - Journal of Symbolic Logic 71 (3):1044-1052.
    We prove that there exists a noncomputable c.e. real which is low for weak 2-randomness, a definition of randomness due to Kurtz, and that all reals which are low for weak 2-randomness are low for Martin-Löf randomness.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  44.  22
    On a question of A. Retzlaff.Rod Downey - 1983 - Mathematical Logic Quarterly 29 (6):379-384.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  45.  39
    On $\Pi^0_1$ classes and their ranked points.Rod Downey - 1991 - Notre Dame Journal of Formal Logic 32 (4):499-512.
  46.  64
    Classifications of degree classes associated with r.e. subspaces.R. G. Downey & J. B. Remmel - 1989 - Annals of Pure and Applied Logic 42 (2):105-124.
    In this article we show that it is possible to completely classify the degrees of r.e. bases of r.e. vector spaces in terms of weak truth table degrees. The ideas extend to classify the degrees of complements and splittings. Several ramifications of the classification are discussed, together with an analysis of the structure of the degrees of pairs of r.e. summands of r.e. spaces.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  47. Totally ω-computably enumerable degrees and bounding critical triples.Rod Downey, Noam Greenberg & Rebecca Weber - 2007 - Journal of Mathematical Logic 7 (2):145-171.
    We characterize the class of c.e. degrees that bound a critical triple as those degrees that compute a function that has no ω-c.e. approximation.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  48.  29
    Serious Comedy: The Philosophical and Theological Significance of Tragic and Comic Writing in the Western Tradition.Patrick Downey - 2000 - Lexington Books.
    Patrick Downey finds comedy at the heart of the Western philosophical and theological tradition. In Serious Comedy Downey tracks tragedy and comedy from the beginning of Western thought to the twentieth century, beginning with an in-depth examination of Aristotle and three Platonic dialogues: the Republic, the Phaedrus, and the Symposium. In the book's second section Downey argues that the Bible is at heart a comedic narrative and analyzes the philosophical and theological implications of this comedy. In the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Degrees of Virtue in the Nicomachean Ethics.Doug Reed - 2017 - Ancient Philosophy 37 (1):91-112.
    I argue that Aristotle believes that virtue comes in degrees. After dispatching with initial concerns for the view, I argue that we should accept it because Aristotle conceives of heroic virtue as the highest degree of virtue. I support this interpretation of heroic virtue by considering and rejecting alternative readings, then showing that heroic virtue characterized as the highest degree of virtue is consistent with the doctrine of the mean.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  50.  28
    On Δ 2 0 -categoricity of equivalence relations.Rod Downey, Alexander G. Melnikov & Keng Meng Ng - 2015 - Annals of Pure and Applied Logic 166 (9):851-880.
1 — 50 / 672