User blog:B1mb0w/Zeta Nought of Two

Fundamental Sequences
This blog will map out much of the standard definitions on Fundamental Sequences for Ordinals. It will attempt to simplify the rule-set where possible. The alternative rule-set presented here will be used in my other blog for the J Function and in particular in the Sandpit \(J_4\) blog.

Basics (Cantor's Normal Form)
Let \(\gamma\) and \(\delta\) be two arbitrary transfinite ordinals, and \(n\) is a finite integer. Then:

\((\gamma + 1)[n] = \gamma\)

\((\gamma + \delta)[n] = \gamma + \delta[n]\) when \(\gamma >> \delta\)

\(\gamma.(\delta + 1)[n] = \gamma.\delta + \gamma[n]\)

\(\gamma.\delta[n] = \gamma.(\delta[n])\) when \(\gamma >> \delta\)

\(\gamma^{\delta + 1}[n] = \gamma^{\delta}.(\gamma[n])\)

and

\(\gamma^{\delta}[n] = \gamma^{\delta[n]}\)

Some Common Transfinite Ordinals
\(\omega[n] = n\)

\(\epsilon_0[n] = \omega\uparrow\uparrow n\)

\(\epsilon_1[n] = \epsilon_0\uparrow\uparrow n\)

\(\epsilon_{j+1}[n] = \epsilon_j\uparrow\uparrow n\)

and

\(\epsilon_{\omega}[n] = \epsilon_{\omega[n]} = \epsilon_n\)

Veblen Hierarchy
Continuing into Veblen Hierarchy and the \(\varphi\) function. Lets start with these equations which are equivalent to those in the Common Transfinite Ordinal section.

\(\varphi(1)[n] = \omega[n] = n\)

\(\varphi(1,0)[n] = \epsilon_0[n] = \varphi(n) = \omega\uparrow\uparrow n\)

\(\varphi(1,1)[n] = \epsilon_1[n] = \varphi(1,0)\uparrow\uparrow n\)

\(\varphi(1,j + 1)[n] = \epsilon_{j + 1}[n] = \varphi(1,j)\uparrow\uparrow n\)

and

\(\varphi(1,\omega)[n] = \varphi(1,\omega[n]) = \varphi(1,n)\)

(1) Rule-set
At this point, we can focus on the commonly used rule-sets and generalise all the above and more. Let's allow \(\alpha\) and \(\beta\) to be transfinite ordinals. Then the following rules seem to apply but they do not appear to be self-consistent.

\(\varphi(\alpha,\beta)[n] = \varphi(\alpha,\beta[n])\)

\(\varphi(\alpha,\beta + 1)[n] = \varphi(\alpha[n],\varphi(\alpha,\beta)+1)\)

\(\varphi(\alpha,0)[n] = \varphi(\alpha[n],0)\)

and

\(\varphi(\alpha + 1,0)[0] = 0\)

\(\varphi(\alpha + 1,0)[n + 1] = \varphi(\alpha,\varphi(\alpha + 1,0)[n] + c)\) where \(c = 0\) or \(1\) ???

and

\(\varphi(\alpha + 1,\beta + 1)[0] = \varphi(\alpha + 1,\beta) + 1\) but why ???

\(\varphi(\alpha + 1,\beta + 1)[n + 1] = \varphi(\alpha,\varphi(\alpha + 1,\beta + 1)[n])\)

And, the following rules do not seem to be consistent with the general rules just given.

\(\varphi(0,\beta)[n] = \varphi(0,\beta[n]) = \varphi(\beta[n])\)

\(\varphi(0,\beta + 1)[n] = \varphi(\beta + 1)[n] = \varphi(\beta)^n\)

A Question
If we focus on this rule:

\(\varphi(\alpha,\beta + 1)[n] = \varphi(\alpha[n],\varphi(\alpha,\beta)+1)\)

Then why is the next rule so different:

\(\varphi(\alpha + 1,\beta + 1)[n + 1] = \varphi(\alpha,\varphi(\alpha + 1,\beta + 1)[n])\)

Lets compare them: Let \(\gamma = \alpha + 1\)

\(\varphi(\gamma,\beta + 1)[n] = \varphi(\gamma[n],\varphi(\gamma,\beta)+1)\)

then

\(\gamma[n] = (\alpha+1)[n] = \alpha\)

and then we get a different result

\(\varphi(\alpha + 1,\beta + 1)[n] = \varphi(\alpha,\varphi(\alpha+1,\beta)+1)\)

Calculated Example
What is the fundamental sequence for \(\zeta_0[2]\) ?

\(\zeta_0[2] = \varphi(2,0)[2] = \varphi(1,\varphi(2,0)[1] + c)\)

\(= \varphi(1,\varphi(1,\varphi(2,0)[0] + c) + c) = \varphi(1,\varphi(1,0 + c) + c)\)

then if c = 0

\(\zeta_0[2] = \varphi(2,0)[2] = \varphi(1,\varphi(1,0)) = \epsilon_{\epsilon_0}\)

of if c = 1

\(\zeta_0[2] = \varphi(2,0)[2] = \varphi(1,\varphi(1,1) + 1) = \epsilon_{\epsilon_1+1}\)

(2) Alternative Rule-set
This alternative rule set is more succinct. Lets start with some conventions as follows:

\(k^2(n,p_*) = k(n,k(n,p))\)

\(k^2(n_*,p) = k(k(n,p),p)\)

and

\(k(a_{[2]},b_{[3]}) = k(a_1,a_2,b_1,b_2,b_3)\)

then

Rule 1: \(\varphi(1,0_{[m+1]}) = \varphi^{\omega}(1_*,0_{[m]})\)

Rule 2: \(\varphi(\alpha+1,0) = \varphi^{\omega}(\alpha,0_*)\)

Rule 3: \(\varphi(\alpha,\beta+1) = \varphi(\alpha,\beta)\uparrow\uparrow\omega\)

where

\(\varphi(0,n) = \varphi(n) = \omega^n\)

The three rules are diagonalised as follows:

\(\varphi(1,0_{[m+1]})[n] = \varphi^n(1_*,0_{[m]})\)

\(\varphi(\alpha+1,0)[n] = \varphi^n(\alpha,0_*)\)

\(\varphi(\alpha,\beta+1)[n] = \varphi(\alpha,\beta)\uparrow\uparrow n\)

What is \(f_{\zeta_0}(2) equal to ?
What is the fundamental sequence for \(\zeta_0[2]\) using the alternative rule set ?

\(\zeta_0[2] = \varphi(2,0)[2] = \varphi_{1+1}(0)[2]\)

\(= \varphi^{\omega}(1,0_*)[2] = \varphi^2(1,0_*) = \varphi(1,\varphi(1,0)) = \epsilon_{\epsilon_0}\)

This result is the same as the previous calculated example when c = 0, but the calculation is actually simpler than that used in the previous calculated example, because there was no need to include the terms:

\(\varphi(2,0)[1]\) and  \(\varphi(2,0)[0]\)

And also no need for the additional rules defined in the original rule set, such as:

\(\varphi(\alpha + 1,0)[0] = 0\)

I have created another blog to calculate \(f_{\zeta_0}(2)\) in detail.

\(\Gamma_0\)
Calculating \(\Gamma_0\) we get:

\(\varphi(1,0,0) = \Gamma_0\)

then

\(\Gamma_0[2] = \varphi(1,0,0)[2] = \varphi^{\omega}(1_*,0)[2] = \varphi^2(1_*,0) = \varphi(\varphi(1,0),0)\)

Small Veblen Ordinal (SVO)
SVO is defined as follows:

\(SVO = \varphi(1,0_{[\omega]})\)

Diagonalising SVO for n=2 produces this result:

\(SVO[2] = \varphi(1,0_{[\omega]})[2] = \varphi(1,0_{[2]}) = \varphi(1,0,0) = \Gamma_0\)

Appreciate any comments on this.