チューリング次数
which is of the same Turing degree as the halting problem, is a formula_43 complete unary relation (Soare 1987, pp. 28, 41). More generally, the set