Pages that link to "Item:Q701736"
From MaRDI portal
The following pages link to Embeddings into the Medvedev and Muchnik lattices of \(\Pi^0_1\) classes (Q701736):
Displaying 27 items.
- Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes (Q409326) (← 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)
- Subsystems of second-order arithmetic between \(\text{RCA}_{0}\) and \(\text{WKL}_{0}\) (Q938231) (← links)
- Density of the Medvedev lattice of \(\Pi^0_1\) classes (Q1407612) (← links)
- Embedding Brouwer algebra in the Medvedev lattice (Q1812988) (← links)
- Computable metrics above the standard real metric (Q2033336) (← 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)
- Lattice embeddings for abstract bounded reducibilities (Q2784495) (← links)
- A survey of Mučnik and Medvedev degrees (Q2893281) (← links)
- choice classes (Q2958216) (← links)
- Degrees of Unsolvability: A Tutorial (Q3195683) (← links)
- Mass Problems and Randomness (Q3370625) (← links)
- Non-branching degrees in the Medvedev lattice of Π<sub>1</sub><sup>0</sup> classes (Q3426564) (← links)
- On the structure of the Medvedev lattice (Q3503754) (← links)
- MASS PROBLEMS AND HYPERARITHMETICITY (Q3521596) (← links)
- Mass Problems and Measure-Theoretic Regularity (Q3655266) (← links)
- A splitting theorem for the Medvedev and Muchnik lattices (Q4419261) (← links)
- Medvedev Degrees of Generalized R.E. separating Classes (Q4921443) (← links)
- On the order dimension of locally countable partial orderings (Q5111496) (← links)
- Classes of Polish spaces under effective Borel isomorphism (Q5365177) (← links)
- The finite intervals of the Muchnik lattice (Q5390250) (← links)
- Medvedev degrees of two-dimensional subshifts of finite type (Q5415947) (← links)
