The complement of certain recursively defined sets
scientific article; zbMATH DE number 3472053