Topic summary
Transfinite recursion
Extracted from the Wikipedia article Transfinite induction.
Transfinite recursion
Transfinite recursion is similar to transfinite induction; however, instead of proving that something holds for all ordinal numbers, we construct a sequence of objects, one for each ordinal.