Veblen function

The fundamental sequence for an ordinal with cofinality ω is a distinguished strictly increasing ω-sequence which has the ordinal as its limit. If one has fundamental sequences for α and all smaller limit ordinals, then one can create an explicit constructive bijection between ω and α, (i.e. one not using the axiom of choice). Here we will describe fundamental sequences for the Veblen hierarchy of ordinals. The image of n under the fundamental sequence for α will be indicated by α[n].

A variation of Cantor normal form used in connection with the Veblen hierarchy is — every nonzero ordinal number α can be uniquely written as ${\displaystyle \alpha =\varphi _{\beta _{1}}(\gamma _{1})+\varphi _{\beta _{2}}(\gamma _{2})+\cdots +\varphi _{\beta _{k}}(\gamma _{k})}$, where k>0 is a natural number and each term after the first is less than or equal to the previous term, ${\displaystyle \varphi _{\beta _{m}}(\gamma _{m})\geq \varphi _{\beta _{m+1}}(\gamma _{m+1})\,,}$ and each ${\displaystyle \gamma _{m}<\varphi _{\beta _{m}}(\gamma _{m})\,.}$ If a fundamental sequence can be provided for the last term, then that term can be replaced by such a sequence to get ${\displaystyle \alpha [n]=\varphi _{\beta _{1}}(\gamma _{1})+\cdots +\varphi _{\beta _{k-1}}(\gamma _{k-1})+(\varphi _{\beta _{k}}(\gamma _{k})[n])\,.}$

For any β, if γ is a limit with ${\displaystyle \gamma <\varphi _{\beta }(\gamma )\,,}$ then let ${\displaystyle \varphi _{\beta }(\gamma )[n]=\varphi _{\beta }(\gamma [n])\,.}$

No such sequence can be provided for ${\displaystyle \varphi _{0}(0)}$ = ω⁰ = 1 because it does not have cofinality ω.

For ${\displaystyle \varphi _{0}(\gamma +1)=\omega ^{\gamma +1}=\omega ^{\gamma }\cdot \omega \,,}$ we choose ${\displaystyle \varphi _{0}(\gamma +1)[n]=\varphi _{0}(\gamma )\cdot n=\omega ^{\gamma }\cdot n\,.}$

For ${\displaystyle \varphi _{\beta +1}(0)\,,}$ we use ${\displaystyle \varphi _{\beta +1}(0)[0]=0}$ and ${\displaystyle \varphi _{\beta +1}(0)[n+1]=\varphi _{\beta }(\varphi _{\beta +1}(0)[n])\,,}$ i.e. 0, ${\displaystyle \varphi _{\beta }(0)}$, ${\displaystyle \varphi _{\beta }(\varphi _{\beta }(0))}$, etc..

For ${\displaystyle \varphi _{\beta +1}(\gamma +1)}$, we use ${\displaystyle \varphi _{\beta +1}(\gamma +1)[0]=\varphi _{\beta +1}(\gamma )+1}$ and ${\displaystyle \varphi _{\beta +1}(\gamma +1)[n+1]=\varphi _{\beta }(\varphi _{\beta +1}(\gamma +1)[n])\,.}$

Now suppose that β is a limit:

If ${\displaystyle \beta <\varphi _{\beta }(0)}$, then let ${\displaystyle \varphi _{\beta }(0)[n]=\varphi _{\beta [n]}(0)\,.}$

For ${\displaystyle \varphi _{\beta }(\gamma +1)}$, use ${\displaystyle \varphi _{\beta }(\gamma +1)[n]=\varphi _{\beta [n]}(\varphi _{\beta }(\gamma )+1)\,.}$

Otherwise, the ordinal cannot be described in terms of smaller ordinals using ${\displaystyle \varphi }$ and this scheme does not apply to it.

The function Γ enumerates the ordinals α such that φ_α(0) = α. Γ₀ is the Feferman–Schütte ordinal, i.e. it is the smallest α such that φ_α(0) = α.

For Γ₀, a fundamental sequence could be chosen to be ${\displaystyle \Gamma _{0}[0]=0}$ and ${\displaystyle \Gamma _{0}[n+1]=\varphi _{\Gamma _{0}[n]}(0)\,.}$

For Γ_β+1, let ${\displaystyle \Gamma _{\beta +1}[0]=\Gamma _{\beta }+1}$ and ${\displaystyle \Gamma _{\beta +1}[n+1]=\varphi _{\Gamma _{\beta +1}[n]}(0)\,.}$

For Γ_β where ${\displaystyle \beta <\Gamma _{\beta }}$ is a limit, let ${\displaystyle \Gamma _{\beta }[n]=\Gamma _{\beta [n]}\,.}$

To build the Veblen function of a finite number of arguments (finitary Veblen function), let the binary function ${\displaystyle \varphi (\alpha ,\gamma )}$ be ${\displaystyle \varphi _{\alpha }(\gamma )}$ as defined above.

Let ${\displaystyle z}$ be an empty string or a string consisting of one or more comma-separated zeros ${\displaystyle 0,0,...,0}$ and ${\displaystyle s}$ be an empty string or a string consisting of one or more comma-separated ordinals ${\displaystyle \alpha _{1},\alpha _{2},...,\alpha _{n}}$ with ${\displaystyle \alpha _{1}>0}$. The binary function ${\displaystyle \varphi (\beta ,\gamma )}$ can be written as ${\displaystyle \varphi (s,\beta ,z,\gamma )}$ where both ${\displaystyle s}$ and ${\displaystyle z}$ are empty strings. The finitary Veblen functions are defined as follows:

• ${\displaystyle \varphi (\gamma )=\omega ^{\gamma }}$
• ${\displaystyle \varphi (z,s,\gamma )=\varphi (s,\gamma )}$
• if ${\displaystyle \beta >0}$, then ${\displaystyle \varphi (s,\beta ,z,\gamma )}$ denotes the ${\displaystyle (1+\gamma )}$-th common fixed point of the functions ${\displaystyle \xi \mapsto \varphi (s,\delta ,\xi ,z)}$ for each ${\displaystyle \delta <\beta }$

For example, ${\displaystyle \varphi (1,0,\gamma )}$ is the ${\displaystyle (1+\gamma )}$-th fixed point of the functions ${\displaystyle \xi \mapsto \varphi (\xi ,0)}$, namely ${\displaystyle \Gamma _{\gamma }}$; then ${\displaystyle \varphi (1,1,\gamma )}$ enumerates the fixed points of that function, i.e., of the ${\displaystyle \xi \mapsto \Gamma _{\xi }}$ function; and ${\displaystyle \varphi (2,0,\gamma )}$ enumerates the fixed points of all the ${\displaystyle \xi \mapsto \varphi (1,\xi ,0)}$. Each instance of the generalized Veblen functions is continuous in the last nonzero variable (i.e., if one variable is made to vary and all later variables are kept constantly equal to zero).

The ordinal ${\displaystyle \varphi (1,0,0,0)}$ is sometimes known as the Ackermann ordinal. The limit of the ${\displaystyle \varphi (1,0,...,0)}$ where the number of zeroes ranges over ω, is sometimes known as the "small" Veblen ordinal.

Every non-zero ordinal ${\displaystyle \alpha }$ less than the small Veblen ordinal (SVO) can be uniquely written in normal form for the finitary Veblen function:

${\displaystyle \alpha =\varphi (s_{1})+\varphi (s_{2})+\cdots +\varphi (s_{k})}$

where

• ${\displaystyle k}$ is a positive integer
• ${\displaystyle \varphi (s_{1})\geq \varphi (s_{2})\geq \cdots \geq \varphi (s_{k})}$
• ${\displaystyle s_{m}}$ is a string consisting of one or more comma-separated ordinals ${\displaystyle \alpha _{m,1},\alpha _{m,2},...,\alpha _{m,n_{m}}}$ where ${\displaystyle \alpha _{m,1}>0}$ and each ${\displaystyle \alpha _{m,i}<\varphi (s_{m})}$

For limit ordinals ${\displaystyle \alpha <SVO}$, written in normal form for the finitary Veblen function:

• ${\displaystyle (\varphi (s_{1})+\varphi (s_{2})+\cdots +\varphi (s_{k}))[n]=\varphi (s_{1})+\varphi (s_{2})+\cdots +\varphi (s_{k})[n]}$,
• ${\displaystyle \varphi (\gamma )[n]=\left\{{\begin{array}{lcr}n\quad {\text{if}}\quad \gamma =1\\\varphi (\gamma -1)\cdot n\quad {\text{if}}\quad \gamma \quad {\text{is a successor ordinal}}\\\varphi (\gamma [n])\quad {\text{if}}\quad \gamma \quad {\text{is a limit ordinal}}\\\end{array}}\right.}$,
• ${\displaystyle \varphi (s,\beta ,z,\gamma )[0]=0}$ and ${\displaystyle \varphi (s,\beta ,z,\gamma )[n+1]=\varphi (s,\beta -1,\varphi (s,\beta ,z,\gamma )[n],z)}$ if ${\displaystyle \gamma =0}$ and ${\displaystyle \beta }$ is a successor ordinal,
• ${\displaystyle \varphi (s,\beta ,z,\gamma )[0]=\varphi (s,\beta ,z,\gamma -1)+1}$ and ${\displaystyle \varphi (s,\beta ,z,\gamma )[n+1]=\varphi (s,\beta -1,\varphi (s,\beta ,z,\gamma )[n],z)}$ if ${\displaystyle \gamma }$ and ${\displaystyle \beta }$ are successor ordinals,
• ${\displaystyle \varphi (s,\beta ,z,\gamma )[n]=\varphi (s,\beta ,z,\gamma [n])}$ if ${\displaystyle \gamma }$ is a limit ordinal,
• ${\displaystyle \varphi (s,\beta ,z,\gamma )[n]=\varphi (s,\beta [n],z,\gamma )}$ if ${\displaystyle \gamma =0}$ and ${\displaystyle \beta }$ is a limit ordinal,
• ${\displaystyle \varphi (s,\beta ,z,\gamma )[n]=\varphi (s,\beta [n],\varphi (s,\beta ,z,\gamma -1)+1,z)}$ if ${\displaystyle \gamma }$ is a successor ordinal and ${\displaystyle \beta }$ is a limit ordinal.

More generally, Veblen showed that φ can be defined even for a transfinite sequence of ordinals α_β, provided that all but a finite number of them are zero. Notice that if such a sequence of ordinals is chosen from those less than an uncountable regular cardinal κ, then the sequence may be encoded as a single ordinal less than κ^κ (ordinal exponentiation). So one is defining a function φ from κ^κ into κ.

The definition can be given as follows: let α be a transfinite sequence of ordinals (i.e., an ordinal function with finite support) which ends in zero (i.e., such that α₀=0), and let α[γ@0] denote the same function where the final 0 has been replaced by γ. Then γ↦φ(α[γ@0]) is defined as the function enumerating the common fixed points of all functions ξ↦φ(β) where β ranges over all sequences which are obtained by decreasing the smallest-indexed nonzero value of α and replacing some smaller-indexed value with the indeterminate ξ (i.e., β=α[ζ@ι₀,ξ@ι] meaning that for the smallest index ι₀ such that α_ι0 is nonzero the latter has been replaced by some value ζ<α_ι0 and that for some smaller index ι<ι₀, the value α_ι=0 has been replaced with ξ).

For example, if α=(1@ω) denotes the transfinite sequence with value 1 at ω and 0 everywhere else, then φ(1@ω) is the smallest fixed point of all the functions ξ↦φ(ξ,0,...,0) with finitely many final zeroes (it is also the limit of the φ(1,0,...,0) with finitely many zeroes, the small Veblen ordinal).

The smallest ordinal α such that α is greater than φ applied to any function with support in α (i.e., which cannot be reached "from below" using the Veblen function of transfinitely many variables) is sometimes known as the "large" Veblen ordinal, or "great" Veblen number.[3]