Some Quotient Lattices of the Medvedev Lattice
Andrea Sorbi · Mathematical logic quarterly · 1991
The paper investigates some quotient lattices of the Medeved lattice and of the Muchnik lattice. Typical questions are: Is the quotient a Brouwer algebra? If so, which Brower algebras can be embedded in it, and what are the propositional identities?