Pages that link to "Item:Q1407612"
From MaRDI portal
The following pages link to Density of the Medvedev lattice of \(\Pi^0_1\) classes (Q1407612):
Displayed 15 items.
- Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes (Q409326) (← 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)
- 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)
- 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 Randomness (Q3370625) (← links)
- MASS PROBLEMS AND HYPERARITHMETICITY (Q3521596) (← links)
- Medvedev Degrees of Generalized R.E. separating Classes (Q4921443) (← links)
- A COMPARISON OF VARIOUS ANALYTIC CHOICE PRINCIPLES (Q5021923) (← 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)