Pages that link to "Item:Q818514"
From MaRDI portal
The following pages link to The Medvedev lattice of computably closed sets (Q818514):
Displayed 9 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)
- Constructive logic and the Medvedev lattice (Q2505132) (← links)
- A Survey of Mučnik and Medvedev Degrees (Q2893281) (← links)