Switch to: References

Add citations

You must login to add citations.
  1. Highness, locally noncappability and nonboundings.Frank Stephan & Guohua Wu - 2013 - Annals of Pure and Applied Logic 164 (5):511-522.
    In this paper, we improve a result of Seetapun and prove that above any nonzero, incomplete recursively enumerable degree a, there is a high2 r.e. degree c>ac>a witnessing that a is locally noncappable . Theorem 1.1 provides a scheme of obtaining high2 nonboundings , as all known high2 nonboundings, such as high2 degrees bounding no minimal pairs, high2 plus-cuppings, etc.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Continuity of capping in C bT.Paul Brodhead, Angsheng Li & Weilin Li - 2008 - Annals of Pure and Applied Logic 155 (1):1-15.
    A set Asubset of or equal toω is called computably enumerable , if there is an algorithm to enumerate the elements of it. For sets A,Bsubset of or equal toω, we say that A is bounded Turing reducible to reducible to) B if there is a Turing functional, Φ say, with a computable bound of oracle query bits such that A is computed by Φ equipped with an oracle B, written image. Let image be the structure of the c.e. bT-degrees, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Highness and local noncappability.Chengling Fang, Wang Shenling & Guohua Wu - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 203--211.
    Direct download  
     
    Export citation  
     
    Bookmark