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

DOI10.1007/S00153-003-0195-XzbMATH Open1058.03041OpenAlexW2010874076MaRDI QIDQ701736FDOQ701736

Stephen G. Simpson, Stephen Binns

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)

Cited In (26)

• 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
• Medvedev degrees of two-dimensional subshifts of finite type
• MASS PROBLEMS AND HYPERARITHMETICITY
• On the order dimension of locally countable partial orderings
• The finite intervals of the Muchnik lattice
• Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes
• Title not available (Why is that?)
• 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
• Degrees of Unsolvability: A Tutorial
• Computable metrics above the standard real metric
• On the structure of the Medvedev lattice
• Density of the Medvedev lattice of \(\Pi^0_1\) classes
• Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism
• choice classes
• Mass Problems and Randomness
• Mass Problems and Measure-Theoretic Regularity
• Embedding \(\mathrm{FD}(\omega)\) into \({\mathcal{P}_s}\) densely
• Lattice embeddings for abstract bounded reducibilities
• Medvedev Degrees of Generalized R.E. separating Classes
• Subsystems of second-order arithmetic between \(\text{RCA}_{0}\) and \(\text{WKL}_{0}\)
• A splitting theorem for the Medvedev and Muchnik lattices

   Recommendations

• Density of the Medvedev lattice of \(\Pi^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 👍 👎

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)