Browsing by Subject "degrees of unsolvability; hyperarithmetical theory; Mass problems; Muchnik degrees; Turing degrees; Turing jump; Turing oracles"

Now showing items 1-1 of 1

    • Mass problems and density 

      Binns, Stephen; Shore, Richard A.; Simpson, Stephen G. ( World Scientific Publishing Co. Pte Ltd , 2016 , Article)
      Recall that Ew is the lattice of Muchnik degrees of nonempty effectively compact sets in Euclidean space. We solve a long-standing open problem by proving that Ew is dense, i.e. satisfies {equation presented}. Our proof ...