Pages that link to "Item:Q952483"
From MaRDI portal
The following pages link to Intermediate logics and factors of the Medvedev lattice (Q952483):
Displaying 16 items.
- Natural factors of the Muchnik lattice capturing IPC (Q385809) (← links)
- Effectively closed mass problems and intuitionism (Q408163) (← links)
- Intuitionistic logic and Muchnik degrees (Q412013) (← links)
- Natural factors of the Medvedev lattice capturing IPC (Q481874) (← links)
- Topological aspects of the Medvedev lattice (Q535142) (← links)
- First-order logic in the Medvedev lattice (Q897478) (← links)
- Embedding Brouwer algebra in the Medvedev lattice (Q1812988) (← links)
- Logics of some Kripke frames connected with Medvedev notion of informational types (Q1820765) (← links)
- Generalizations of the weak law of the excluded middle (Q2354624) (← links)
- Constructive logic and the Medvedev lattice (Q2505132) (← links)
- Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism (Q2637708) (← 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)
- (Q5413352) (← links)
- (Q5884959) (← links)