Pages that link to "Item:Q5294136"

The following pages link to An extension of the recursively enumerable Turing degrees (Q5294136):

Displaying 23 items.

• Effectively closed mass problems and intuitionism (Q408163) (← links)
• Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes (Q409326) (← links)
• The weakness of being cohesive, thin or free in reverse mathematics (Q503277) (← links)
• Mass problems associated with effectively closed sets (Q765664) (← links)
• Embedding \(\mathrm{FD}(\omega)\) into \({\mathcal{P}_s}\) densely (Q926184) (← links)
• The upward closure of a perfect thin class (Q958485) (← links)
• Inside the Muchnik degrees. II: The degree structures induced by the arithmetical hierarchy of countably continuous functions (Q2442153) (← links)
• Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism (Q2637708) (← links)
• The \(\forall \exists \)-theory of the effectively closed Medvedev degrees is decidable (Q2655138) (← links)
• Diagonally Non-Computable Functions and Bi-Immunity (Q2869911) (← links)
• A Survey of Mučnik and Medvedev Degrees (Q2893281) (← links)
• MASS PROBLEMS AND INITIAL SEGMENT COMPLEXITY (Q2921016) (← links)
• Turing Degrees and Muchnik Degrees of Recursively Bounded DNR Functions (Q2970986) (← links)
• On the degree spectrum of a $\Pi ^0_1$ class (Q3053473) (← links)
• Degrees of Unsolvability: A Tutorial (Q3195683) (← links)
• MASS PROBLEMS AND HYPERARITHMETICITY (Q3521596) (← links)
• Numberings and Randomness (Q3576037) (← links)
• Immunity for Closed Sets (Q3576043) (← links)
• Mass Problems and Measure-Theoretic Regularity (Q3655266) (← links)
• DEEP CLASSES (Q5346696) (← links)
• Medvedev degrees of two-dimensional subshifts of finite type (Q5415947) (← links)
• Randomness and degree theory for infinite time register machines1 (Q5740208) (← links)
• Lawvere-Tierney topologies for computability theorists (Q5875936) (← links)