First-order theory of the degrees of recursive unsolvability
scientific article; zbMATH DE number 3544027