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 9 items.
- Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes (Q409326) (← links)
- Embedding and coding below a 1-generic degree (Q558421) (← 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)
- Interpreting true arithmetic in the -enumeration degrees (Q3570161) (← links)
- THE FIRST‐ORDER THEORY OF THE c‐DEGREES (Q3679170) (← links)
- Minimal covers in the Weihrauch degrees (Q6621299) (← links)