The finite intervals of the Muchnik lattice
Sebastiaan A. Terwijn · Transactions of the American Mathematical Society · 2011
We characterize the finite intervals of the Muchnik lattice by proving that they form a certain proper subclass of the finite distributive lattices. We also discuss infinite intervals, mainly to conclude that much more is possible here than for the related Medvedev lattice.