Mass problems and density

Abstract

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 combines an oracle construction with hyperarithmetical theory.