Medvedev degrees of generalized r.e. separating classes

DOI10.1016/J.ENTCS.2006.08.014MaRDI QIDQ4921443zbMATH OpenOpenAlexFDO

Authors Douglas Cenzer, Peter G. Hinman

Publication date 10 May 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2006.08.014

zbMATH Keywords

degreesMedvedev reducicilityseparating class

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30)

Recommendations

• Degrees of difficulty of generalized r.e. separating classes
• A survey of Mučnik and Medvedev degrees
• Density of the Medvedev lattice of ^0_1 classes
• Splitting properties of r.e. sets and degrees
• Comparing the Medvedev and Turing degrees of \(\Pi^{0}_{1}\) classes

Cites work

• ∏ 0 1 Classes and Degrees of Theories
• A splitting theorem for the Medvedev and Muchnik lattices
• Classical recursion theory. Vol. II
• Degrees of members of \(\Pi_ 1^ 0\) classes
• Density of the Medvedev lattice of ^0_1 classes
• Embeddings into the Medvedev and Muchnik lattices of ^0_1 classes
• scientific article; zbMATH DE number 194103 (Why is no real title available?)
• scientific article; zbMATH DE number 841094 (Why is no real title available?)
• scientific article; zbMATH DE number 1390012 (Why is no real title available?)
• scientific article; zbMATH DE number 2236645 (Why is no real title available?)
• scientific article; zbMATH DE number 3110190 (Why is no real title available?)
• Mass Problems and Randomness

Cited in

(4)

• Density of the Medvedev lattice of ^0_1 classes
• Medvedev degrees of two-dimensional subshifts of finite type
• Denseness properties of the lattice of separation-degrees
• Degrees of difficulty of generalized r.e. separating classes

This page was built for publication: Medvedev degrees of generalized r.e. separating classes

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