Extensions of Embeddings in the Computably Enumerable Degrees
scientific article