Constructive logic and the Medvedev lattice (Q2505132)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Constructive logic and the Medvedev lattice |
scientific article |
Statements
Constructive logic and the Medvedev lattice (English)
0 references
4 October 2006
0 references
Medvedev degrees
0 references
Muchnik degrees
0 references
computability
0 references
Medvedev lattice
0 references
constructive logic
0 references
intuitionistic propositional logic
0 references
weak law of the excluded middle
0 references
join-reducibility
0 references
autoreducible degrees
0 references
