Embedding Brouwer algebra in the Medvedev lattice (Q1812988)

It is known that the Medvedev lattice is a Brouwer algebra [\textit{Yu. T. Medvedev}, Dokl. Akad. Nauk SSSR 104, 501--504 (1955; Zbl 0065.00301]. The author characterizes the class of finite Brouwer algebras that are embeddable in the Medvedev lattice via a lattice theoretic embedding which preserves the least element, the greatest element, as well as the operation \(\to\) of Brouwer algebras; namely it is shown that this class consists of exactly the finite Brouwer algebras in which the least element is meet-irreducible and the greatest element is join-irreducible. A similar characterization is given also for the Muchnick lattice [introduced by \textit{A. A. Muchnik}, Sib. Mat. Zh. 4, 1328--1341 (1963; Zbl 0156.01603)].