形式陈述

超限递归定理允许当前值依赖此前全部值。典型类版本为：给定一个适当的函数型类运算 $G$$G$，存在唯一类函数 $F$$F$ 定义在 $\mathrm{Ord}$$\mathrm{Ord}$ 上，使

$$ F(\alpha)=G(F\mathbin{\upharpoonright}\alpha) $$$$F(\alpha )=G(F\upharpoonright \alpha )$$

对每个序数 $\alpha$$\alpha$ 成立。固定长度版本则说，对任意序数 $\gamma$$\gamma$，可唯一构造 $F:\gamma\to V$$F:\gamma \to V$ 满足同一递归式。存在性由逐段构造并在相容初段之间取并得到，唯一性由超限归纳证明。精确集合论表述要求 $G$$G$ 对每个已有函数给出唯一集合，并使用替代等公理保证各阶段结果仍为集合。

直觉

自然数递归只读取上一项；超限递归把截至当前阶段的整段历史作为输入，因此既能处理后继阶段，也能在极限阶段汇总所有早期值。

例子与边界

累积层级可递归定义为 $V_0=\varnothing$$V_0=\varnothing$、$V_{\alpha+1}=\mathcal P(V_\alpha)$$V_{\alpha +1}=\mathcal{P}(V_{\alpha })$、$V_\lambda=\bigcup_{\beta<\lambda}V_\beta$$V_{\lambda }=\bigcup _{\beta <\lambda }{V}_{\beta }$。序数加法也由固定 $\alpha$$\alpha$ 后对第二个参数递归得到。若递归规则在同一历史上可能给出多个值，则唯一性前提失效；若规则声称产生“所有集合”之类的真类而非集合，固定长度的集合值函数也可能无法成立。定理不是循环定义许可证：$F(\alpha)$$F(\alpha )$ 只能依赖 $F\upharpoonright\alpha$$F\upharpoonright \alpha$，不能依赖自身或未来值。

推论与应用

超限递归构造序数运算、累积宇宙、Borel 层级、导出列和规范选择过程。它把无限阶段定义的存在性与唯一性从直觉性描述提升为可复用定理。

参考资料

• Thomas Jech, Set Theory, 3rd millennium ed., Springer, 2003，Ch. 2, transfinite recursion theorem and applications。
• Kenneth Kunen, Set Theory, College Publications, 2011，Ch. I, recursion on ordinals。