Content deleted Content added
m Open access bot: doi added to citation with #oabot. |
m →The Veblen hierarchy: add link to epsilon function |
||
Line 4:
In the special case when φ<sub>0</sub>(α)=ω<sup>α</sup>
this family of functions is known as the '''Veblen hierarchy'''.
The function φ<sub>1</sub> is the same as the [[Epsilon numbers (mathematics)|ε function]]: φ<sub>1</sub>(α)= ε<sub>α</sub>. If <math>\alpha < \beta \,,</math> then <math>\varphi_{\alpha}(\varphi_{\beta}(\gamma)) = \varphi_{\beta}(\gamma) \,.</math> From this and the fact that φ<sub>β</sub> is strictly increasing we get the ordering: <math>\varphi_\alpha(\beta) < \varphi_\gamma(\delta) </math> if and only if either (<math>\alpha = \gamma </math> and <math>\beta < \delta </math>) or (<math>\alpha < \gamma </math> and <math>\beta < \varphi_\gamma(\delta) </math>) or (<math>\alpha > \gamma </math> and <math>\varphi_\alpha(\beta) < \delta </math>).
=== Fundamental sequences for the Veblen hierarchy ===
| |||