| Author | Binns, Stephen |
| Author | Shore, Richard A. |
| Author | Simpson, Stephen G. |
| Available date | 2021-04-01T12:34:17Z |
| Publication Date | 2016 |
| Publication Name | Journal of Mathematical Logic |
| Resource | Scopus |
| URI | http://dx.doi.org/10.1142/S0219061316500069 |
| URI | http://hdl.handle.net/10576/18074 |
| 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. |
| Language | en |
| Publisher | World Scientific Publishing Co. Pte Ltd |
| Subject | degrees of unsolvability; hyperarithmetical theory; Mass problems; Muchnik degrees; Turing degrees; Turing jump; Turing oracles
|
| Title | Mass problems and density |
| Type | Article |
| Issue Number | 2 |
| Volume Number | 16 |
