Switch to: References

Add citations

You must login to add citations.
  1. Abstract complexity theory and the Δ20 degrees.Benjamin Schaeffer - 2002 - Annals of Pure and Applied Logic 115 (1-3):195-231.
    We show how Abstract Complexity Theory is related to the degrees of unsolvability and develop machinery by which computability theoretic hierarchies with a complexity theoretic flavor can be defined and investigated. This machinery is used to prove results both on hierarchies of Δ 2 0 sets and hierarchies of Δ 2 0 degrees. We prove a near-optimal lower bound on the effectivity of the Low Basis Theorem and a result showing that array computable c.e. degrees are, in some sense, the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Recursively enumerable sets which are uniform for finite extensions.Donald A. Alton - 1971 - Journal of Symbolic Logic 36 (2):271-287.
    Download  
     
    Export citation  
     
    Bookmark  
  • Computational complexity, speedable and levelable sets.Robert I. Soare - 1977 - Journal of Symbolic Logic 42 (4):545-563.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Degrees of classes of RE sets.J. R. Shoenfield - 1976 - Journal of Symbolic Logic 41 (3):695-696.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • (1 other version)Minimal degrees and the jump operator.S. B. Cooper - 1973 - Journal of Symbolic Logic 38 (2):249-271.
    Download  
     
    Export citation  
     
    Bookmark   16 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  
  • Interpolating d-r.e. and REA degrees between r.e. degrees.Marat Arslanov, Steffen Lempp & Richard A. Shore - 1996 - Annals of Pure and Applied Logic 78 (1-3):29-56.
    We provide three new results about interpolating 2-r.e. or 2-REA degrees between given r.e. degrees: Proposition 1.13. If c h are r.e. , c is low and h is high, then there is an a h which is REA in c but not r.e. Theorem 2.1. For all high r.e. degrees h g there is a properly d-r.e. degree a such that h a g and a is r.e. in h . Theorem 3.1. There is an incomplete nonrecursive r.e. A (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The weak truth table degrees of recursively enumerable sets.Richard E. Ladner & Leonard P. Sasso - 1975 - Annals of Mathematical Logic 8 (4):429-448.
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Minimal pairs and high recursively enumerable degrees.S. B. Cooper - 1974 - Journal of Symbolic Logic 39 (4):655-660.
    Download  
     
    Export citation  
     
    Bookmark   22 citations