On the problem of definability of the computably enumerable degrees in the difference hierarchy
scientific article; zbMATH DE number 6945060