The operator gap theorem in ...-recursion theory. Robert A. Di Paola — 1978 Archiv für mathematische Logik und Grundlagenforschung