Continuous increasing functions of finite and transfinite ordinals. (Q1491341)

Bezeichnet \(\{x\}\) die Menge aller Ordnungszahlen, die kleiner sind als eine vorgegebene Ordnungszahl \(X\), so wird eine stetige zunehmende Funktion \(f(x)\) durch folgende Bedingungen definiert: 1. Für jede Zahl \(x\) der Menge \(\{x\}\) ist \(f(x)\) eine Ordnungszahl. 2. Aus \(x_1 < x_2\) folgt \(f(x_1) < f(x_2)\). 3. Ist \(\{x'\}\) die Menge der Ordnungszahlen, die kleiner sind als eine Ordnungszahl \(x\) der zweiten Art, so ist \(f(x)\) die kleinste Ordnungszahl, welche alle Ordnungszahlen \(f(x')\) übertrifft. Über derartige Funktionen stellt \textit{Veblen} mehrere Sätze auf, die meistens als Verallgemeinerungen von bekannten Eigenschaften der transfiniten Ordnungszahlen angesehen werden dürfen.