Turing reduction
チューリング還元可能性以外の還元可能性（reducibility）の研究も盛んである。ポスト（1944）は、真理値表還元可能性を含む強い還元可能性をいくつか提唱した。強い還元可能性を定義する神託付きチューリング機械は、付加されたオラクルがどういうものであろうと全域関数を計算する。弱い還元可能性とは、還元過程が必ずしも全てのオラクルで停止しない（つまり全域関数を計算しない）可能性があるものである。チューリング還元可能性は弱い還元可能性の一種である。