Pages that link to "Item:Q3480025"
From MaRDI portal
The following pages link to Some Quotient Lattices of the Medvedev Lattice (Q3480025):
Displayed 8 items.
- Effectively closed mass problems and intuitionism (Q408163) (← 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)
- 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)