Show simple item record

AuthorBinns, Stephen
AuthorShore, Richard A.
AuthorSimpson, Stephen G.
Available date2021-04-01T12:34:17Z
Publication Date2016
Publication NameJournal of Mathematical Logic
ResourceScopus
URIhttp://dx.doi.org/10.1142/S0219061316500069
URIhttp://hdl.handle.net/10576/18074
AbstractRecall 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.
Languageen
PublisherWorld Scientific Publishing Co. Pte Ltd
Subjectdegrees of unsolvability; hyperarithmetical theory; Mass problems; Muchnik degrees; Turing degrees; Turing jump; Turing oracles
TitleMass problems and density
TypeArticle
Issue Number2
Volume Number16
dc.accessType Abstract Only


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record