Lattice embeddings into the recursively enumerable degrees