Incompleteness, Approximation and Relative Randomness
Anthony Morphett · Computability · 2012
We present some results about the structure of c.e. and $\Delta^0_2$ LR-degrees. First we give a technique for lower cone avoidance in the c.e. and $\Delta^0_2$ LR-degrees, and combine this with upper cone avoidance via Sacks restraints to construct