Some remarks on the algebraic structure of the Medvedev Lattice
Andrea Sorbi · Journal of Symbolic Logic · 1990
Abstract This paper investigates the algebraic structure of the Medvedev lattice . We prove that is not a Heyting algebra. We point out some relations between and the Dyment lattice and the Mučnik lattice. Some properties of the degrees of enumerability are considered. We give also a result on embedding countable distributive lattices in the Medvedev lattice.