数理論理学における再帰理論は、伝統的に相対計算可能性(relative computability)に注目してきた。