Degrees joining to 0′

Publisher Website
Google Scholar
Abstract
It is shown that if and are sets of degrees uniformly recursive in 0′ with 0 ∈ then there is a degree b with b′ = 0′, b ∪ c = 0′ for every c ∈ , and a ≰ b for every 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′. Also, if a < 0′ and a″ = 0″ then there is a degree b such that a ∪ b = 0′ and a ∩ b = 0.

This publication has 4 references indexed in Scilit: