(S. K. Thomason, 1971) Every finite distributive lattice can be embedded into the r.e. degrees.
(S. K. Thomason, 1971) Jeder endlicher distributiver Verband kann in die rekursiv aufzählbaren Grade eingebettet werden.