Embeddings into the computably enumerable degrees
Manuel Lerman · Contemporary mathematics - American Mathematical Society · 2000
Abstract. We discuss the status of the problem of characterizing the finite (weak) lattices which can be embedded into the computably enumerable degrees. In particular, we summarize the current status of knowledge about the problem, provide an overview of how to prove these results, discuss directions which have been pursued to try to solve the problem, and present some related open questions. 1.