Pages that link to "Item:Q3083139"
From MaRDI portal
The following pages link to Coding true arithmetic in the Medvedev and Muchnik degrees (Q3083139):
Displaying 5 items.
- Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes (Q409326) (← 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)
- A Survey of Mučnik and Medvedev Degrees (Q2893281) (← links)
- Degrees of Unsolvability: A Tutorial (Q3195683) (← links)
