Embeddings into the Medvedev and Muchnik lattices of ^0_1 classes

DOI10.1007/S00153-003-0195-XMaRDI QIDQ701736zbMATH OpenOpenAlexFDO

Authors Stephen Binns, Stephen G. Simpson

Publication date 16 December 2004

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

Full work available at URL https://doi.org/10.1007/s00153-003-0195-x

zbMATH Keywords

lattice embeddingMedvedev reducibility\(\Pi^0_1\) classMuchnik reducibility

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30)

Recommendations

• Density of the Medvedev lattice of ^0_1 classes
• On the structure of the Medvedev lattice
• A splitting theorem for the Medvedev and Muchnik lattices
• Some remarks on the algebraic structure of the Medvedev Lattice
• Strong enumeration reducibilities

Cited in

(28)

• Inside the Muchnik degrees. II: The degree structures induced by the arithmetical hierarchy of countably continuous functions
• Small \(\Pi^{0}_{1}\) classes
• Mass problems associated with effectively closed sets
• The Medvedev lattice of computably closed sets
• MASS PROBLEMS AND HYPERARITHMETICITY
• Medvedev degrees of two-dimensional subshifts of finite type
• Coding true arithmetic in the Medvedev degrees of ^0_1 classes
• On the order dimension of locally countable partial orderings
• The finite intervals of the Muchnik lattice
• scientific article; zbMATH DE number 1396398 (Why is no real title available?)
• Degrees of difficulty of generalized r.e. separating classes
• A survey of Mučnik and Medvedev degrees
• Classes of Polish spaces under effective Borel isomorphism
• Medvedev degrees of generalized r.e. separating classes
• Mass problems and measure-theoretic regularity
• Computable metrics above the standard real metric
• Density of the Medvedev lattice of ^0_1 classes
• On the structure of the Medvedev lattice
• Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism
• choice classes
• Mass Problems and Randomness
• A closed subset of Baire space not Medvedev equivalent to any closed set of Cantor space
• Non-branching degrees in the Medvedev lattice of Π₁⁰ classes
• Embedding \(\mathrm{FD}(\omega)\) into \({\mathcal{P}_s}\) densely
• Lattice embeddings for abstract bounded reducibilities
• Subsystems of second-order arithmetic between \(\text{RCA}_{0}\) and \(\text{WKL}_{0}\)
• Degrees of unsolvability: a tutorial
• A splitting theorem for the Medvedev and Muchnik lattices

This page was built for publication: Embeddings into the Medvedev and Muchnik lattices of \(\Pi^0_1\) classes

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