The finite intervals of the Muchnik lattice
  We characterize the finite intervals of the Muchnik lattice by proving that they are a certain proper subclass of the finite distributive lattices. 
Sebastiaan A. Terwijn