Turing degree
チューリングジャンプ作用素が持つ様々な性質について、チューリング次数を参照されたい。