Switch to: Citations

Add references

You must login to add references.
  1. The high/low hierarchy in the local structure of the image-enumeration degrees.Hristo Ganchev & Mariya Soskova - 2012 - Annals of Pure and Applied Logic 163 (5):547-566.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Defining the Turing Jump.Richard A. Shore & Theodore A. Slaman - 2001 - Bulletin of Symbolic Logic 7 (1):73-75.
  • Degrees joining to 0'. [REVIEW]David B. Posner & Robert W. Robinson - 1981 - Journal of Symbolic Logic 46 (4):714 - 722.
    It is shown that if A and C are sets of degrees uniformly recursive in 0' with $\mathbf{0} \nonin \mathscr{C}$ then there is a degree b with b' = 0', b ∪ c = 0' for every c ∈ C, and $\mathbf{a} \nleq \mathbf{b}$ for every a ∈ A ∼ {0}. The proof is given as an oracle construction recursive in 0'. It follows that any nonrecursive degree below 0' can be joined to 0' by a degree strictly below 0'. (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  • On a question of G. E. Sacks.Donald A. Martin - 1966 - Journal of Symbolic Logic 31 (1):66-69.
  • On a Problem of G. E. Sacks.A. H. Lachlan - 1967 - Journal of Symbolic Logic 32 (1):125-125.
  • The jump operator on the ω-enumeration degrees.Hristo Ganchev & Ivan N. Soskov - 2009 - Annals of Pure and Applied Logic 160 (3):289-301.
    The jump operator on the ω-enumeration degrees was introduced in [I.N. Soskov, The ω-enumeration degrees, J. Logic Computat. 17 1193–1214]. In the present paper we prove a jump inversion theorem which allows us to show that the enumeration degrees are first order definable in the structure of the ω-enumeration degrees augmented by the jump operator. Further on we show that the groups of the automorphisms of and of the enumeration degrees are isomorphic. In the second part of the paper we (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations