The following pages link to (Q5537381):
Displaying 10 items.
- Natural factors of the Muchnik lattice capturing IPC (Q385809) (← links)
- Effectively closed mass problems and intuitionism (Q408163) (← links)
- Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes (Q409326) (← links)
- Natural factors of the Medvedev lattice capturing IPC (Q481874) (← links)
- Generic Muchnik reducibility and presentations of fields (Q503243) (← links)
- Highness properties close to PA completeness (Q2055279) (← 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)
- Degrees of Unsolvability: A Tutorial (Q3195683) (← links)
- Point Degree Spectra of Represented Spaces (Q5864311) (← links)