Switch to: References

Add citations

You must login to add citations.
  1. Bounding minimal degrees by computably enumerable degrees.Angsheng Li & Dongping Yang - 1998 - Journal of Symbolic Logic 63 (4):1319-1347.
    In this paper, we prove that there exist computably enumerable degrees a and b such that $\mathbf{a} > \mathbf{b}$ and for any degree x, if x ≤ a and x is a minimal degree, then $\mathbf{x}.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  • On a problem of Cooper and Epstein.Shamil Ishmukhametov - 2003 - Journal of Symbolic Logic 68 (1):52-64.
    In "Bounding minimal degrees by computably enumerable degrees" by A. Li and D. Yang, (this Journal, [1998]), the authors prove that there exist non-computable computably enumerable degrees c > a > 0 such that any minimal degree m being below c is also below a. We analyze the proof of their result and show that the proof contains a mistake. Instead we give a proof for the opposite result.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  • The strong anticupping property for recursively enumerable degrees.S. B. Cooper - 1989 - Journal of Symbolic Logic 54 (2):527-539.