チューリング次数
は半順序のシグネチャにおいて、帰納的可算チューリング次数の理論 と密接な関係がある。とくに、以下のような "S" および "T" が存在する: