Pages that link to "Item:Q2505132"
From MaRDI portal
The following pages link to Constructive logic and the Medvedev lattice (Q2505132):
Displaying 13 items.
- Natural factors of the Muchnik lattice capturing IPC (Q385809) (← links)
- Basic subtoposes of the effective topos (Q387125) (← links)
- Intuitionistic logic and Muchnik degrees (Q412013) (← links)
- The Medvedev lattice of computably closed sets (Q818514) (← links)
- First-order logic in the Medvedev lattice (Q897478) (← links)
- Intermediate logics and factors of the Medvedev lattice (Q952483) (← links)
- Kripke models, distributive lattices, and Medvedev degrees (Q995672) (← links)
- (Q4500396) (← links)
- The finite intervals of the Muchnik lattice (Q5390250) (← links)
- Regular functors and relative realisability categories (Q5400856) (← links)
- (Q5413352) (← links)
- New Computational Paradigms (Q5717080) (← links)
- (Q5884959) (← links)