Order:
Disambiguations
Adam R. Day [8]Adam Day [2]
  1.  26
    Computing k-trivial sets by incomplete random sets.Laurent Bienvenu, Adam R. Day, Noam Greenberg, Antonín Kučera, Joseph S. Miller, André Nies & Dan Turetsky - 2014 - Bulletin of Symbolic Logic 20 (1):80-90.
    EveryK-trivial set is computable from an incomplete Martin-Löf random set, i.e., a Martin-Löf random set that does not compute the halting problem.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  33
    The computable Lipschitz degrees of computably enumerable sets are not dense.Adam R. Day - 2010 - Annals of Pure and Applied Logic 161 (12):1588-1602.
    The computable Lipschitz reducibility was introduced by Downey, Hirschfeldt and LaForte under the name of strong weak truth-table reducibility [6]). This reducibility measures both the relative randomness and the relative computational power of real numbers. This paper proves that the computable Lipschitz degrees of computably enumerable sets are not dense. An immediate corollary is that the Solovay degrees of strongly c.e. reals are not dense. There are similarities to Barmpalias and Lewis’ proof that the identity bounded Turing degrees of c.e. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  15
    Independence, Relative Randomness, and PA Degrees.Adam R. Day & Jan Reimann - 2014 - Notre Dame Journal of Formal Logic 55 (1):1-10.
  4.  51
    Indifferent sets for genericity.Adam R. Day - 2013 - Journal of Symbolic Logic 78 (1):113-138.
    This paper investigates indifferent sets for comeager classes in Cantor space focusing of the class of all 1-generic sets and the class of all weakly 1-generic sets. Jockusch and Posner showed that there exist 1-generic sets that have indifferent sets [10]. Figueira, Miller and Nies have studied indifferent sets for randomness and other notions [7]. We show that any comeager class in Cantor space contains a comeager class with a universal indifferent set. A forcing construction is used to show that (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  17
    Isaac Newton Institute, Cambridge, UK July 2–6, 2012.George Barmpalias, Vasco Brattka, Adam Day, Rod Downey, John Hitchcock, Michal Koucký, Andy Lewis, Jack Lutz, André Nies & Alexander Shen - 2013 - Bulletin of Symbolic Logic 19 (1).
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  11
    From Bi-Immunity to Absolute Undecidability.Laurent Bienvenu, Adam R. Day & Rupert Hölzl - 2009 - Journal of Symbolic Logic 78 (4):1218-1228.
  7.  13
    Jump operations for borel graphs.Adam R. Day & Andrew S. Marks - 2018 - Journal of Symbolic Logic 83 (1):13-28.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  19
    On the computational power of random strings.Adam R. Day - 2009 - Annals of Pure and Applied Logic 160 (2):214-228.
    There are two fundamental computably enumerable sets associated with any Kolmogorov complexity measure. These are the set of non-random strings and the overgraph. This paper investigates the computational power of these sets. It follows work done by Kummer, Muchnik and Positselsky, and Allender and co-authors. Muchnik and Positselsky asked whether there exists an optimal monotone machine whose overgraph is not tt-complete. This paper answers this question in the negative by proving that the overgraph of any optimal monotone machine, or any (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  8
    Taking Measure of the UN's Legacy at Seventy-Five.David M. Malone & Adam Day - 2020 - Ethics and International Affairs 34 (3):285-295.
    Over the past seventy-five years, the UN has evolved significantly, often in response to geopolitical dynamics and new waves of thinking. In some respects, the UN has registered remarkable achievements, stimulating a wide range of multilateral treaties, promoting significant growth of human rights, and at times playing a central role in containing and preventing large-scale armed conflict. As part of the special issue on “The United Nations at Seventy-Five: Looking Back to Look Forward,” this essay argues that the organization has (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark