A hierarchy below the halting problem for additive machines
scientific article; zbMATH DE number 5552166