Not only natural numbers, but also ordinal numbers are well-ordered. The usual recursion can be extended to ordinal numbers. However, functions defined like are only of theoretical interest, since they have only little to do with practical combinatorial problems like it was the case for usual recursive functions.

Proposition: Transitive Recursion

Let $X$ be a set and let $\Omega$ be the proper class of all ordinals. A function $f:\mathbb \Omega\to X$ can be defined by specifying 1. the initial values of $f(\alpha)$ for all $\alpha \subseteq \omega$ and some ordinal number $\omega\in\mathbb\Omega,$ and 1. the initial values of $f(\alpha)$ for all $\alpha \subseteq \omega$ and some ordinal number $\omega\in\mathbb\Omega,$ and

Proofs: 1


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Toenniessen, Fridtjof: "Topologie", Springer, 2017