Abstract

It is shown that, if a, b are recursively enumerable degrees such that 0< a<0' and a ∪ b = 0', then there exists a recursively enumerable degree c such that c< a and c ∪ b = 0'.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call