NP問題周辺の話題に多項式階層というのがあるが
チューリング次数と何か繋がっているのだろうか