Pages that link to "Item:Q1812988"
From MaRDI portal
The following pages link to Embedding Brouwer algebra in the Medvedev lattice (Q1812988):
Displayed 12 items.
- Intuitionistic logic and Muchnik degrees (Q412013) (← links)
- Topological aspects of the Medvedev lattice (Q535142) (← links)
- The Medvedev lattice of computably closed sets (Q818514) (← links)
- Intermediate logics and factors of the Medvedev lattice (Q952483) (← links)
- Kripke models, distributive lattices, and Medvedev degrees (Q995672) (← links)
- Comparing the degrees of enumerability and the closed Medvedev degrees (Q2312080) (← links)
- Generalizations of the weak law of the excluded middle (Q2354624) (← links)
- Constructive logic and the Medvedev lattice (Q2505132) (← links)
- A Survey of Mučnik and Medvedev Degrees (Q2893281) (← links)
- Coding true arithmetic in the Medvedev and Muchnik degrees (Q3083139) (← links)
- The finite intervals of the Muchnik lattice (Q5390250) (← links)
- WEIHRAUCH GOES BROUWERIAN (Q5858925) (← links)