Pages that link to "Item:Q3480025"
From MaRDI portal
The following pages link to Some Quotient Lattices of the Medvedev Lattice (Q3480025):
Displaying 12 items.
- Effectively closed mass problems and intuitionism (Q408163) (← links)
- Natural factors of the Medvedev lattice capturing IPC (Q481874) (← links)
- Characterizing the join-irreducible Medvedev degrees (Q628800) (← links)
- The Medvedev lattice of computably closed sets (Q818514) (← links)
- On some filters and ideals of the Medvedev lattice (Q916651) (← links)
- Intermediate logics and factors of the Medvedev lattice (Q952483) (← links)
- Embedding Brouwer algebra in the Medvedev lattice (Q1812988) (← 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)
- A Note on Closed Degrees of Difficulty of the Medvedev Lattice (Q4868246) (← links)