Switch to: Citations

Add references

You must login to add references.
  1. The Upper Semi-Lattice of Degrees of Recursive Unsolvability.S. C. Kleene & Emil L. Post - 1956 - Journal of Symbolic Logic 21 (4):407-408.
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Pseudo-Jump Operators. II: Transfinite Iterations, Hierarchies and Minimal Covers.Carl G. Jockusch & Richard A. Shore - 1984 - Journal of Symbolic Logic 49 (4):1205 - 1236.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  • A degree-theoretic definition of the ramified analytical hierarchy.Carl G. Jockusch & Stephen G. Simpson - 1976 - Annals of Mathematical Logic 10 (1):1-32.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  • A degree theoretic definition of the ramified analytic hierarchy.C. G. Jockusch - 1976 - Annals of Mathematical Logic 10 (1):1.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • On a Conjecture of Kleene and Post.S. Barry Cooper - 2001 - Mathematical Logic Quarterly 47 (1):3-34.
    A proof is given that 0′ is definable in the structure of the degrees of unsolvability. This answers a long-standing question of Kleene and Post, and has a number of corollaries including the definability of the jump operator.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  • [Omnibus Review].Carl Jockusch - 1990 - Journal of Symbolic Logic 55 (1):358-360.
     
    Export citation  
     
    Bookmark   7 citations