Sur un théorème de Hessenberg. (Q563028)

Nach \textit{Hessenberg} ist jede Anfangszahl eine additive Hauptzahl. Diese Tatsache hat Verf. verallgemeinert: Wird für beliebige Ordnungszahlen \(\beta, \gamma, \alpha _0, \beta _i, v\) und eine Funktion \(f(x)\) \[ \begin{align*}{ &\varrho _x (\beta, f(x), 0) = \beta, \cr &\varrho _x (\beta, f(x), v+1) = f(\varrho _x(\beta, f(x), v)), \cr &\varrho _x (\beta, f(x), \lim \{\gamma \} ) = \lim _\gamma \{(\beta, f(x), \gamma )\} }\end{align*} \] und weiter \[ \begin{align*}{ &f_0 = f_0(\alpha _0,v)= \alpha _0 + v,\cr &f_i = f_i(\beta _1,\ldots, \beta _i, \alpha _i, v) = \varrho _x(\beta _i, f_{i-1}(\beta _1,\ldots, \beta _{i-1}, x, \alpha _i), v) }\end{align*} \] gesetzt, so ist jede Anfangszahl \( >\beta _1,\ldots, \beta _i\) eine Hauptzahl für die Funktion \(f_i\).