Switch to: References

Add citations

You must login to add citations.
  1. Recursively invariant beta-recursion theory.Wolfgand Maass - 1981 - Annals of Mathematical Logic 21 (1):27.
  • On alpha- and beta-recursively enumerable degrees.Wolfgang Maass - 1979 - Annals of Mathematical Logic 16 (3):205.
  • Intermediate β-r.E. Degrees and the half-jump.Steven Homer - 1983 - Journal of Symbolic Logic 48 (3):790-796.
  • The role of true finiteness in the admissible recursively enumerable degrees.Noam Greenberg - 2005 - Bulletin of Symbolic Logic 11 (3):398-410.
    We show, however, that this is not always the case.
    Direct download (13 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Some jump-like operations in β-recursion theory.Colin G. Bailey - 2013 - Journal of Symbolic Logic 78 (1):57-71.
    In this paper we show that there are various pseudo-jump operators definable over inadmissible $J_{\beta}$ that relate to the failure of admissiblity and to non-regularity. We will use these ideas to construct some intermediate degrees.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark