Pages that link to "Item:Q409326"
From MaRDI portal
The following pages link to Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes (Q409326):
Displaying 6 items.
- The Medvedev lattice of computably closed sets (Q818514) (← links)
- Inside the Muchnik degrees. II: The degree structures induced by the arithmetical hierarchy of countably continuous functions (Q2442153) (← links)
- A survey of Mučnik and Medvedev degrees (Q2893281) (← links)
- Coding true arithmetic in the Medvedev and Muchnik degrees (Q3083139) (← links)
- Non-branching degrees in the Medvedev lattice of Π<sub>1</sub><sup>0</sup> classes (Q3426564) (← links)
- A splitting theorem for the Medvedev and Muchnik lattices (Q4419261) (← links)