عرض بسيط للتسجيلة

المؤلف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
dc.accessType Abstract Only


الملفات في هذه التسجيلة

الملفاتالحجمالصيغةالعرض

لا توجد ملفات لها صلة بهذه التسجيلة.

هذه التسجيلة تظهر في المجموعات التالية

عرض بسيط للتسجيلة