The following pages link to (Q4863250):
Displayed 18 items.
- Natural factors of the Muchnik lattice capturing IPC (Q385809) (← links)
- Coding true arithmetic in the Medvedev degrees of \(\Pi^0_1\) classes (Q409326) (← links)
- Intuitionistic logic and Muchnik degrees (Q412013) (← links)
- Characterizing the strongly jump-traceable sets via randomness (Q456804) (← links)
- Natural factors of the Medvedev lattice capturing IPC (Q481874) (← links)
- Computability of countable subshifts in one dimension (Q693067) (← links)
- The Medvedev lattice of computably closed sets (Q818514) (← links)
- First-order logic in the Medvedev lattice (Q897478) (← links)
- Degrees of difficulty of generalized r.e. separating classes (Q926177) (← links)
- Intermediate logics and factors of the Medvedev lattice (Q952483) (← links)
- Kripke models, distributive lattices, and Medvedev degrees (Q995672) (← links)
- Highness properties close to PA completeness (Q2055279) (← links)
- Comparing the degrees of enumerability and the closed Medvedev degrees (Q2312080) (← links)
- Constructive logic and the Medvedev lattice (Q2505132) (← links)
- The First Order Theories of the Medvedev and Muchnik Lattices (Q3576064) (← links)
- Medvedev Degrees of Generalized R.E. separating Classes (Q4921443) (← links)
- The finite intervals of the Muchnik lattice (Q5390250) (← links)
- WEIHRAUCH GOES BROUWERIAN (Q5858925) (← links)