Transfinite Rekursion

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Ein Verfahren zur Definition von Funktionen, Folgen oder Klassen, die durch Ordinalzahlen indiziert sind, indem der Wert bei 0 festgelegt wird, eine Vorschrift für Nachfolgerordinationen in Abhängigkeit früherer Werte gegeben wird und der Wert an einer Limitordnung als Funktion (häufig Supremum, Vereinigung oder Limes) der Werte kleinerer Ordinale definiert wird.