Switch to: References

Add citations

You must login to add citations.
  1. Conjectures and questions from Gerald Sacks's Degrees of Unsolvability.Richard A. Shore - 1997 - Archive for Mathematical Logic 36 (4-5):233-253.
    . We describe the important role that the conjectures and questions posed at the end of the two editions of Gerald Sacks's Degrees of Unsolvability have had in the development of recursion theory over the past thirty years.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • The ω-Turing degrees.Andrey C. Sariev & Hristo Ganchev - 2014 - Annals of Pure and Applied Logic 165 (9):1512-1532.
    In this paper we initiate the study of the ω-Turing reducibility between sequences of sets of natural numbers. We shall prove that the induced degree structure is an extension of the structure of the Turing degrees and that the two structures are closely connected, but different enough. Further we shall prove some definability results for the local theory of the newly defined structure.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark