论文标题
有效的转递递归的弱和强版本
Weak and Strong Versions of Effective Transfinite Recursion
论文作者
论文摘要
在反向数学的背景下工作，我们给出了精细的粒度表征，其强度是文献中使用的有效的递归递归的两个可能定义的强度。此外，我们表明$π^0_2 $ - 沿井井有条$ x $的诱导等同于以下陈述：任何良好的订单对$ x $的功率的指示都是有充分根据的。
Working in the context of reverse mathematics, we give a fine-grained characterization result on the strength of two possible definitions for Effective Transfinite Recursion used in literature. Moreover, we show that $Π^0_2$-induction along a well-order $X$ is equivalent to the statement that the exponentiation of any well-order to the power of $X$ is well-founded.
