跳跃逆转定理

跳跃逆转定理是递归论中关于不可解度的三个定理，定理给出满足特定条件的不可解度的“图灵逆跳跃”的存在性。

设 ${\displaystyle B{\ge <!--\; \ge \; -->}_T{\mathbf{0}}^{\mathrm{\prime <!--\; \prime \; -->}}}$，则存在 ${\displaystyle A}$ 使 ${\displaystyle A^{\mathrm{\prime <!--\; \prime \; -->}}{\equiv <!--\; \equiv \; -->}_{T}B}$。

设 ${\displaystyle B{\ge <!--\; \ge \; -->}_T{\mathbf{0}}^{\mathrm{\prime <!--\; \prime \; -->}}}$ 且可用具备 ${\displaystyle {\mathbf{0}}^{\mathrm{\prime <!--\; \prime \; -->}}}$ 的预言机递归枚举，则存在 ${\displaystyle A{\le <!--\; \le \; -->}_T{\mathbf{0}}^{\mathrm{\prime <!--\; \prime \; -->}}}$ 使 ${\displaystyle A^{\mathrm{\prime <!--\; \prime \; -->}}{\equiv <!--\; \equiv \; -->}_{T}B}$。

设 ${\displaystyle B{\ge <!--\; \ge \; -->}_T{\mathbf{0}}^{\mathrm{\prime <!--\; \prime \; -->}}}$ 且可用具备 ${\displaystyle {\mathbf{0}}^{\mathrm{\prime <!--\; \prime \; -->}}}$ 的预言机递归枚举，则存在递归可枚举集合 ${\displaystyle A}$ 使 ${\displaystyle A^{\mathrm{\prime <!--\; \prime \; -->}}{\equiv <!--\; \equiv \; -->}_{T}B}$。