Mass problems and density

DOI10.1142/S0219061316500069MaRDI QIDQ2951897zbMATH OpenFDO

Authors Stephen Binns, Richard A. Shore, Stephen G. Simpson

Publication date 10 January 2017

Published in Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/S0219061316500069

zbMATH Keywords

degrees of unsolvabilityhyperarithmetical theorymass problemsMuchnik degreesTuring degreesTuring jumpTuring oracles

Mathematics Subject Classification ID

Other Turing degree structures (03D28) Other degrees and reducibilities in computability and recursion theory (03D30) Hierarchies of computability and definability (03D55)

Recommendations

• Mass problems associated with effectively closed sets
• The \(n\)-rea enumeration degrees are dense
• Topological aspects of the Medvedev lattice
• Mass problems and intuitionism
• Mass Problems and Randomness

Cites work

• A recursively enumerable degree which will not split over all lesser ones
• A splitting theorem for the Medvedev and Muchnik lattices
• Degrees of Unsolvability. (AM-55)
• Degrees of unsolvability: a tutorial
• Embedding finite lattices into the computably enumerable degrees -- a status survey
• scientific article; zbMATH DE number 194101 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• MASS PROBLEMS AND HYPERARITHMETICITY
• On the existence of a strong minimal pair
• Recursively enumerable sets of positive integers and their decision problems
• Systems of Logic Based on Ordinals^†

Cited in

(5)

• Density of the lattice of mth degrees of conditional problems
• Degrees of unsolvability: a tutorial
• scientific article; zbMATH DE number 6154262 (Why is no real title available?)
• A closed subset of Baire space not Medvedev equivalent to any closed set of Cantor space
• Mass problems associated with effectively closed sets

This page was built for publication: Mass problems and density

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2951897)