Pages that link to "Item:Q4419261"
From MaRDI portal
The following pages link to A splitting theorem for the Medvedev and Muchnik lattices (Q4419261):
Displaying 26 items.
- Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes (Q409326) (← links)
- Embeddings into the Medvedev and Muchnik lattices of \(\Pi^0_1\) classes (Q701736) (← links)
- Mass problems associated with effectively closed sets (Q765664) (← links)
- The Medvedev lattice of computably closed sets (Q818514) (← links)
- Degrees of difficulty of generalized r.e. separating classes (Q926177) (← links)
- Embedding \(\mathrm{FD}(\omega)\) into \({\mathcal{P}_s}\) densely (Q926184) (← links)
- Intermediate logics and factors of the Medvedev lattice (Q952483) (← links)
- Inside the Muchnik degrees. II: The degree structures induced by the arithmetical hierarchy of countably continuous functions (Q2442153) (← links)
- Small \(\Pi^{0}_{1}\) classes (Q2491076) (← links)
- A splitting theorem for blocks (Q2565058) (← 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)
- A survey of Mučnik and Medvedev degrees (Q2893281) (← links)
- Mass problems and density (Q2951897) (← links)
- Degrees of Unsolvability: A Tutorial (Q3195683) (← links)
- Mass Problems and Randomness (Q3370625) (← links)
- On the structure of the Medvedev lattice (Q3503754) (← links)
- MASS PROBLEMS AND HYPERARITHMETICITY (Q3521596) (← links)
- Immunity for Closed Sets (Q3576043) (← links)
- Mass Problems and Measure-Theoretic Regularity (Q3655266) (← links)
- (Q4370953) (← links)
- Intervals of the Muchnik lattice (Q4634587) (← links)
- Medvedev Degrees of Generalized R.E. separating Classes (Q4921443) (← links)
- Classes of Polish spaces under effective Borel isomorphism (Q5365177) (← links)
- Medvedev degrees of two-dimensional subshifts of finite type (Q5415947) (← links)
- Comparing the Medvedev and Turing degrees of Π<sup>0</sup><sub>1</sub> classes (Q5740675) (← links)
