Cappable recursively enumerable degrees and Post's program
scientific article; zbMATH DE number 484792
scientific article