Pages that link to "Item:Q2655138"

The following pages link to The \(\forall \exists \)-theory of the effectively closed Medvedev degrees is decidable (Q2655138):

Displaying 4 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)