Pages that link to "Item:Q2655138"
From MaRDI portal
The following pages link to The \(\forall \exists \)-theory of the effectively closed Medvedev degrees is decidable (Q2655138):
Displaying 6 items.
- Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes (Q409326) (← links)
- Decidability of the AE-theory of the lattice of \({\Pi}_1^0\) classes (Q1745361) (← 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)
- On an extension of Moses' theorem (Q3976371) (← links)