Some Remarks on the Algebraic Structure of the Medvedev Lattice
Sorbi, Andrea
J. Symbolic Logic, Tome 55 (1990) no. 1, p. 831-853 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
This paper investigates the algebraic structure of the Medvedev lattice $\mathfrak{M}$. We prove that $\mathfrak{M}$ is not a Heyting algebra. We point out some relations between $\mathfrak{M}$ and the Dyment lattice and the Mucnik lattice. Some properties of the degrees of enumerability are considered. We give also a result on embedding countable distributive lattices in the Medvedev lattice.
Publié le : 1990-06-14
Classification:  
@article{1183743335,
     author = {Sorbi, Andrea},
     title = {Some Remarks on the Algebraic Structure of the Medvedev Lattice},
     journal = {J. Symbolic Logic},
     volume = {55},
     number = {1},
     year = {1990},
     pages = { 831-853},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183743335}
}

Sorbi, Andrea. Some Remarks on the Algebraic Structure of the Medvedev Lattice. J. Symbolic Logic, Tome 55 (1990) no. 1, pp.  831-853. http://gdmltest.u-ga.fr/item/1183743335/