Pages that link to "Item:Q818514"
From MaRDI portal
The following pages link to The Medvedev lattice of computably closed sets (Q818514):
Displaying 13 items.
- Natural factors of the Muchnik lattice capturing IPC (Q385809) (← links)
- Basic subtoposes of the effective topos (Q387125) (← links)
- Effectively closed mass problems and intuitionism (Q408163) (← links)
- Natural factors of the Medvedev lattice capturing IPC (Q481874) (← links)
- Topological aspects of the Medvedev lattice (Q535142) (← links)
- Binary subtrees with few labeled paths (Q654001) (← links)
- Kripke models, distributive lattices, and Medvedev degrees (Q995672) (← links)
- Density of the Medvedev lattice of \(\Pi^0_1\) classes (Q1407612) (← links)
- Constructive logic and the Medvedev lattice (Q2505132) (← links)
- The \(\forall \exists \)-theory of the effectively closed Medvedev degrees is decidable (Q2655138) (← links)
- A survey of Mučnik and Medvedev degrees (Q2893281) (← links)
- (Q4863250) (← links)
- A Note on Closed Degrees of Difficulty of the Medvedev Lattice (Q4868246) (← links)