チューリング次数
We say formula_1 is Turing equivalent to formula_2 and write formula_21 if both formula_18 and formula_23 The equivalence classes of Turing equivalent sets are called Turing degrees. The Turing degree of a set formula_24 is written formula_25.