Switch to: References

Add citations

You must login to add citations.
  1. Π10 classes and minimal degrees.Marcia J. Groszek & Theodore A. Slaman - 1997 - Annals of Pure and Applied Logic 87 (2):117-144.
    Theorem. There is a non-empty Π10 class of reals, each of which computes a real of minimal degree. Corollary. WKL “there is a minimal Turing degree”. This answers a question of H. Friedman and S. Simpson.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • ASH, CJ, Categoricity in hyperarithmetical degrees (1) BALDWIN, JT and HARRINGTON, L., Trivial pursuit: Re-marks on the main gap (3) COOPER, SB and EPSTEIN, RL, Complementing below re-cursively enumerable degrees (1). [REVIEW]Rl Epstein - 1987 - Annals of Pure and Applied Logic 34 (1):311.
    Download  
     
    Export citation  
     
    Bookmark  
  • The minimal complementation property above 0′.Andrew E. M. Lewis - 2005 - Mathematical Logic Quarterly 51 (5):470-492.
    Let us say that any (Turing) degree d > 0 satisfies the minimal complementation property (MCP) if for every degree 0 < a < d there exists a minimal degree b < d such that a ∨ b = d (and therefore a ∧ b = 0). We show that every degree d ≥ 0′ satisfies MCP. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim).
    Download  
     
    Export citation  
     
    Bookmark  
  • Complementing below recursively enumerable degrees.S. Barry Cooper & Richard L. Epstein - 1987 - Annals of Pure and Applied Logic 34 (1):15-32.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Degrees of unsolvability complementary between recursively enumerable degrees, Part I.S. B. Cooper - 1972 - Annals of Mathematical Logic 4 (1):31.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A-computable graphs.Matthew Jura, Oscar Levin & Tyler Markkanen - 2016 - Annals of Pure and Applied Logic 167 (3):235-246.
    Download  
     
    Export citation  
     
    Bookmark  
  • 1-Generic splittings of computably enumerable degrees.Guohua Wu - 2006 - Annals of Pure and Applied Logic 138 (1):211-219.
    Say a set Gω is 1-generic if for any eω, there is a string σG such that {e}σ↓ or τσ↑). It is known that can be split into two 1-generic degrees. In this paper, we generalize this and prove that any nonzero computably enumerable degree can be split into two 1-generic degrees. As a corollary, no two computably enumerable degrees bound the same class of 1-generic degrees.
    Download  
     
    Export citation  
     
    Bookmark  
  • Minimal Degrees in Generalized Recursion Theory.Michael Machtey - 1974 - Mathematical Logic Quarterly 20 (8-12):133-148.
    Download  
     
    Export citation  
     
    Bookmark  
  • Generic degrees are complemented.Masahiro Kumabe - 1993 - Annals of Pure and Applied Logic 59 (3):257-272.
    Download  
     
    Export citation  
     
    Bookmark   3 citations