Turing reduction
チューリング還元可能性よりも弱い還元可能性（つまり、チューリング還元可能性を内包する還元可能性）も研究されている。よく知られている例として、算術的還元可能性と超算術的還元可能性がある。これらの還元可能性は、算術の標準モデルにおける定義可能性と密接に関連している。