| المؤلف | Binns, Stephen |
| المؤلف | Shore, Richard A. |
| المؤلف | Simpson, Stephen G. |
| تاريخ الإتاحة | 2021-04-01T12:34:17Z |
| تاريخ النشر | 2016 |
| اسم المنشور | Journal of Mathematical Logic |
| المصدر | Scopus |
| معرّف المصادر الموحد | http://dx.doi.org/10.1142/S0219061316500069 |
| معرّف المصادر الموحد | http://hdl.handle.net/10576/18074 |
| الملخص | 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. |
| اللغة | en |
| الناشر | World Scientific Publishing Co. Pte Ltd |
| الموضوع | degrees of unsolvability; hyperarithmetical theory; Mass problems; Muchnik degrees; Turing degrees; Turing jump; Turing oracles
|
| العنوان | Mass problems and density |
| النوع | Article |
| رقم العدد | 2 |
| رقم المجلد | 16 |
