User blog:B1mb0w/Growth Rate of the S Function

Growth Rate of the S Function
This blog will provide a detailed calculation and references for the growth rate of The S Function that I have developed.

Introduction
The S function is recursively defined set of two functions \(S\) and \(T\) which use string substitution procedures only. S Functions can be either restricted or generalised. Refer to my main blog on The S Function for a full definition of how the function is constructed.

As a simple introduction it will be useful to compare a typical S function with more familiar functions:

\(S(3,2,1) = f_2(3)\) ordinal value

This equivalence is intentional. In fact:

\(S(n,g,h) = f_g^h(n)\) ordinal value

This equivalence will become more obvious if you refer to the definitions and rules for the function. I have intentionally defined The S Function to be a string substitution function with no explicit mathematical (e.g. algebraic) connotations. However the above equivalences will re-occur throughout the calculations. It is based on the definition that all restricted \(S\) functions belong to a well-ordered sequence and every individual restricted \(S\) function will have an assigned ordinal value equivalent to the result of the equivalent FGH function. In the case above; \(S(3,2,1)\) has the ordinal value 24.

The \(T\) function can be compared to various ordinals.

\(T(0) == \omega\) The similarity is intentional.

The generalised S Functions, the functions of the form \(S(T(0),g,h)\), are similar to the ordinals that arise from the various attempts to define an FGH of Omega function, therefore:

\(S(T(0),0,1) == \omega + 1\)

\(S(T(0),1,1) == \omega.2\)

The similarities are intentional. However, the similarity fades as we examine larger and larger inputs to the \(T\) function.

We can now start calculating the Growth Rate of the restricted S Function.

Summary of Growth Rate Calculations
Here is a summary of the Growth Rate Calculations that are explained in more detail in the following sections:

\(S(n,T(0),1) = f_{\omega}(n)\) ordinal value

\(S(n,S(T(0),0,1),1) = f_{\omega + 1}(n)\) ordinal value

\(S(n,S(T(0),1,1),1) = f_{\omega.2}(n)\) ordinal value

\(S(n,S(T(0),2,1),1) >> f_{\omega^2}(n)\) ordinal value

\(S(n,S(T(0),2,2),1) >> f_{\omega\uparrow\uparrow 2}(n)\) ordinal value

\(S(n,S(T(0),3,1),1) >> f_{\omega\uparrow\uparrow n}(n) = f_{\varphi(1,0)}(n) = f_{\epsilon_0}(n) = f_{\psi(0)}(n)\) ordinal value

\(S(n,S(T(0),4,1),1) >> f_{\varphi(2,0)}(n) = f_{\zeta_0}(n) = f_{\psi(\Omega)}(n)\) ordinal value

WORK IN PROGRESS

\(S(n,S(T(0),5,1),1) >> f_{\varphi(\omega,0)}(n) = f_{\psi(\Omega^{\omega})}(n)\) ordinal value

WORK IN PROGRESS

Growth Rate up to \(S(n,T(0),1)\)
All restricted S Functions belong to a well-ordered sequence and every individual restricted \(S\) function will have an assigned ordinal value. By definition:

\(S(0,0,0) = 0 = 0\) ordinal value

\(S(1,0,0) = 1 = 1\) ordinal value

\(S(n,0,0) = n = n\) ordinal value

\(S(n,g,h) = f_g^h(n)\) ordinal value

Therefore the Growth Rate of the S Function up to \(S(n,g,h)\) where \(g\) is a finite integer, grows at a rate comparable to \(f_{\omega}^h(n)\), and no additional proof should be required. In fact:

\(S(n,T(0),1) = f_{\omega}(n)\) ordinal value

Growth Rate up to \(S(n,S(T(0),2,2),1)\)
From here we can refer to the various blogs for an FGH of Omega function to calculate the growth rate up to \(S(n,T(1),1)\).

We start by reviewing some general behaviour of The S Function:

\(S(n,S(T(0),p,T(0)),1) = S(n,S(T(0),p + 1,1),n)\)

\(S(n,S(S(T(0),p + 1,1),0,1),1) = S(n,S(T(0),p + 1,1),n)\)

\(S(n,S(S(T(0),p + 1,1),0,T(0)),1) = S(n,S(S(T(0),p + 1,1),0,n),1)\)

\(S(n,S(S(T(0),p + 1,1),0,S(T(0),p + 1,1)),1) = S(n,S(S(T(0),p + 1,1),1,1),1)\)

And some comparative behaviour:

\(S(n,S(T(0),1,1),1) = S(n,S(T(0),0,n-1),n)\)

\(S(n,S(T(0),1,1),1) = f_{\omega.2}(n)\) ordinal value

\(S(n,S(T(0),0,n-1),n) = f_{\omega + n-1}^n(n)\) ordinal value

Therefore the Growth Rate up to \(S(n,T(1),1)\) can be calculated as follows:

\(S(n,S(T(0),0,1),1) = f_{\omega + 1}(n)\) ordinal value

\(S(n,S(T(0),1,1),1) = f_{\omega.2}(n)\) ordinal value

\(S(n,S(S(T(0),1,1),0,1),1) = f_{\omega.2 + 1}(n)\) ordinal value

\(S(n,S(S(T(0),1,1),0,T(0)),1) = f_{\omega.2 + n}(n) = f_{\omega.3}(n)\) ordinal value

\(S(n,S(S(T(0),1,1),0,S(T(0),1,1)),1) = S(n,S(T(0),1,2),1) = f_{\omega.2 + \omega.2}(n) = f_{\omega.4}(n)\) ordinal value

Refer to more detailed calculations in this blog.

\(S(n,S(T(0),2,1),1) >> f_{\omega.2^n}(n) >> f_{\omega.\omega}(n) = f_{\omega^2}(n)\) ordinal value

And

\(S(n,S(T(0),2,2),1) = S(n,S(S(T(0),2,1),1,S(T(0),2,1)),1) >> f_{\omega^{\omega}}(n)\) ordinal value

Because

\(S(n,S(T(0),2,2),1) >> f_{\omega^2.2^{\omega^2}}(n) >> f_{\omega^{\omega}}(n)\) ordinal value

where \(n^2.2^{n^2}(n) = n^2.2^{n.n} = n^2.(2^n)^n >> n^2.n^n = n^{n + 2} >> n^n\)

Growth Rate up to \(S(n,S(T(0),3,1),1)\)
From here we can show:

\(S(n,S(T(0),2,3),1) = S(n,S(S(T(0),2,2),1,S(T(0),2,2)),1) >> f_{\omega\uparrow\uparrow 3}(n)\) ordinal value

Because

\(S(n,S(T(0),2,3),1) >> f_{n^n.2^{n^n}}(n) >> f_{n\uparrow\uparrow 3}(n) = f_{\omega\uparrow\uparrow 3}(n)\) ordinal value

where \(n^{n + 2}.2^{n^{n + 2}} = n^{n + 2}.2^{n^n.n^2} = n^{n + 2}.(2^{n^2})^{n^n} >> n^{n + 2}.n^{n^n} = n^{n^n + n + 2} >> n^{n^n} = n\uparrow\uparrow 3\)

The general proof is as follows:

When

\(S(n,S(T(0),2,m),1) = f_{\omega^{(\omega\uparrow\uparrow m-1) + 1}}(n) >> f_{\omega^{\omega\uparrow\uparrow m-1}}(n) = f_{\omega\uparrow\uparrow m}(n)\) ordinal value

Then

\(S(n,S(T(0),2,m + 1),1) >> f_{\omega\uparrow\uparrow (m + 1)}(n)\) ordinal value

where \(n^{(n\uparrow\uparrow m-1) + 1}.2^{n^{(n\uparrow\uparrow m-1) + 1}} >> n.2^{n^{(n\uparrow\uparrow m-1) + 1}}\)

\(= n.2^{n^{n\uparrow\uparrow m-1}.n} = n.(2^n)^{n^{n\uparrow\uparrow m-1}} = n.(2^n)^{n\uparrow\uparrow m}\)

\(>> n.n^{n\uparrow\uparrow m} = n^{(n\uparrow\uparrow m) + 1} >> n^{n\uparrow\uparrow m} = n\uparrow\uparrow (m+1)\)

Until

\(S(n,S(T(0),3,1),1) >> f_{\omega\uparrow\uparrow n}(n) = f_{\varphi(1,0)}(n) = f_{\epsilon_0}(n) = f_{\psi(0)}(n)\) ordinal value

Here are some examples of this equality:

\(S(2,S(T(0),3,1),1) >> S(2,S(T(0),2,1),1) >> f_{\epsilon_0.\omega}(3)\)

\(>> S(2,S(T(0),1,1),1) = f_{\omega.2}(2) = f_{\omega^2}(2) = f_{\epsilon_0}(2)\) ordinal value

\(S(3,S(T(0),3,1),1) >> f_{\epsilon_0^{\omega^2 + \omega}}(3) >> S(3,S(S(T(0),2,2),1,15),1) = f_{\varphi(1,0)}(3) = f_{\epsilon_0}(3) = f_{\psi(0)}(3)\) ordinal value

\(S(4,S(T(0),3,1),1) >> S(3,S(S(S(T(0),2,2),1,442),2,1),1) >> f_{\varphi(1,0)}(4) = f_{\epsilon_0}(4) = f_{\psi(0)}(4)\) ordinal value

because

\(S(4,S(S(T(0),2,2),1,442),1) = f_{\omega\uparrow\uparrow 3}(4)\) ordinal value

\(S(4,S(T(0),2,3),1) >> f_{\omega^{(\omega\uparrow\uparrow 2) + 1}}(4)\) ordinal value

\(S(4,S(T(0),3,1),1) = S(4,S(T(0),2,T(0)),1) = S(4,S(T(0),2,4),1) >> f_{\omega^{(\omega\uparrow\uparrow 3) + 1}}(4)\)

\(>> f_{\omega^{\omega\uparrow\uparrow 3}}(4) = f_{\varphi(1,0)}(4) = f_{\epsilon_0}(4) = f_{\psi(0)}(4)\) ordinal value

Growth Rate up to \(S(n,T(1),1)\)
Based on the definition of:

\(T(1) = S(T(0),T(0),1)\)

We can calculate:

\(S(2,T(1),1) = S(2,S(T(0),T(0),1),1) = S(2,S(T(0),2,1),1) = S(2,S(T(0),1,2),1)\)

\(= f_{\epsilon_0.2}(2) = f_{\epsilon_0.\omega}(2)\) ordinal value

\(S(3,T(1),1) = S(3,S(T(0),T(0),1),1) = S(3,S(T(0),3,1),1) >> f_{\epsilon_0^{\omega^2 + \omega}}(3)\)

\(= f_{\epsilon_0}(3) = f_{\psi(0)}(3)\) ordinal value

\(S(4,T(1),1) = S(4,S(T(0),T(0),1),1) = S(4,S(T(0),4,1),1) =\) see below ordinal value

A general calculation for \(T(1)\) is:

\(S(n,S(T(0),3,1),1) >> f_{\varphi(1,0)}(n) = f_{\epsilon_0}(n) = f_{\psi(0)}(n)\) ordinal value

\(S(n,S(S(T(0),3,1),0,1),1) >> f_{\varphi(1,0) + 1}(n) = f_{\epsilon_0 + 1}(n) = f_{\psi(0) + 1}(n)\) ordinal value

\(S(n,S(S(T(0),3,1),1,1),1) >> f_{\varphi(1,0).2}(n) = f_{\epsilon_0.2}(n) = f_{\psi(0).2}(n)\) ordinal value

\(S(n,S(S(T(0),3,1),2,1),1) >> f_{\varphi(1,0)^2}(n) = f_{\epsilon_0^2}(n) = f_{\psi(0)^2}(n)\) ordinal value

\(S(n,S(S(T(0),3,1),2,2),1) >> f_{\varphi(1,0)\uparrow\uparrow 2}(n) = f_{\epsilon_0\uparrow\uparrow 2}(n) = f_{\psi(0)\uparrow\uparrow 2}(n)\) ordinal value

\(S(n,S(S(T(0),3,1),2,T(0)),1) >> f_{\varphi(1,1)}(n) = f_{\epsilon_1}(n) = f_{\psi(1)}(n)\) ordinal value

\(S(n,S(S(T(0),3,1),2,S(T(0),1,1)),1) >> f_{\varphi(1,2)}(n) = f_{\epsilon_2}(n) = f_{\psi(2)}(n)\) ordinal value

\(S(n,S(S(T(0),3,1),2,S(T(0),1,2)),1) >> f_{\varphi(1,4)}(n) = f_{\epsilon_4}(n) = f_{\psi(4)}(n)\) ordinal value

\(S(n,S(S(T(0),3,1),2,S(T(0),2,1)),1) >> f_{\varphi(1,\omega^2)}(n) = f_{\epsilon_{\omega^2}}(n) = f_{\psi(\omega^2)}(n)\) ordinal value

\(S(n,S(S(T(0),3,1),2,S(T(0),2,2)),1) >> f_{\varphi(1,\omega\uparrow\uparrow 2)}(n) = f_{\epsilon_{\omega\uparrow\uparrow 2}}(n) = f_{\psi(\omega\uparrow\uparrow 2)}(n)\) ordinal value

\(S(n,S(S(T(0),3,1),2,S(T(0),2,T(0))),1) >> f_{\varphi(1,\omega\uparrow\uparrow\omega)}(n) = f_{\epsilon_{\omega\uparrow\uparrow\omega}}(n) = f_{\psi(\omega\uparrow\uparrow\omega)}(n)\) ordinal value

or

\(S(n,S(S(T(0),3,1),2,S(T(0),3,1)),1) >> f_{\varphi(1,\varphi(1,0))}(n) = f_{\psi(\psi(0))}(n)\) ordinal value

or

\(S(n,S(T(0),3,2),1) >> f_{\varphi^2(1,0_*)}(n) = f_{\psi^2(0)}(n)\) ordinal value

\(S(n,S(T(0),3,3),1) >> f_{\varphi^3(1,0_*)}(n) = f_{\psi^3(0)}(n)\) ordinal value

\(S(n,S(T(0),4,1),1) >> f_{\varphi(2,0)}(n) = f_{\zeta_0}(n) = f_{\psi(\Omega)}(n)\) ordinal value

\(S(n,S(T(0),4,2),1) >> f_{\varphi(3,0)}(n) = f_{\psi(\Omega^2)}(n)\) ordinal value

\(S(n,S(T(0),4,3),1) >> f_{\varphi(4,0)}(n) = f_{\psi(\Omega^3)}(n)\) ordinal value

WORK IN PROGRESS

\(S(n,S(T(0),5,1),1) >> f_{\varphi(\omega,0)}(n) = f_{\psi(\Omega^{\omega})}(n)\) ordinal value

Therefore

\(S(4,T(1),1) = S(4,S(T(0),T(0),1),1) = S(4,S(T(0),4,1),1)\)

\(>> f_{\varphi(2,0)}(4) = f_{\zeta_0}(4) = f_{\psi(\Omega)}(4)\) ordinal value

\(S(5,T(1),1) = S(5,S(T(0),T(0),1),1) = S(4,S(T(0),5,1),1)\)

\(>> f_{\varphi(5,0)}(5) = f_{\psi(\Omega^5)}(5)\) ordinal value

WORK IN PROGRESS

Growth Rate up to \(S(n,T(m),1)\)
WORK IN PROGRESS

\(S(n,T(2),1) >> f_{\varphi(1,0,0)}(n) = f_{\Gamma_0}(n) = f_{\psi(\Omega^{\Omega})}(n)\)

\(S(n,T(3),1) >> f_{\psi(\Omega^{\Omega^2})}(n) = f_{\varphi(1,0,0,0)}(n)\)

\(S(n,T(m),1) >> f_{\varphi(1,0_{[m]})}(n)\)

WORK IN PROGRESS

Growth Rate up to \(S(n,T(T(0)),1)\)
WORK IN PROGRESS

\(S(n,T(T(0)),1) = S(n,T(n),1) >> f_{svo}(n) = f_{\psi(\Omega^{\Omega^{\omega}})}(n)\)

WORK IN PROGRESS

Growth Rate up to \(S(n,T^m(0),1)\)
WORK IN PROGRESS

The growth rate should be faster than \(f_{LVO}(n)\) and a comparable rate to some Ordinal Collapsing Functions. My initial estimates are based on information contained in this comparison table. Here are my results:

\(S(n,T(T(1)),1) >> f_{\psi(\Omega\uparrow\uparrow 3)}(n) = f_{LVO}(n)\) To be confirmed

\(S(n,T(T(T(0))),1) >> f_{\psi(\Omega\uparrow\uparrow\omega)}(n) =\) Bachmann-Howard ordinal To be confirmed

WORK IN PROGRESS

Summary of Growth Rate Calculations
Here is a summary of the Growth Rate Calculations that are explained in more detail in the following sections:

\(S(n,T(0),1) = f_{\omega}(n)\) ordinal value

\(S(n,S(T(0),0,1),1) = f_{\omega + 1}(n)\) ordinal value

\(S(n,S(T(0),1,1),1) = f_{\omega.2}(n)\) ordinal value

\(S(n,S(T(0),2,1),1) >> f_{\omega^2}(n)\) ordinal value

\(S(n,S(T(0),2,2),1) >> f_{\omega\uparrow\uparrow 2}(n)\) ordinal value

\(S(n,S(T(0),3,1),1) >> f_{\omega\uparrow\uparrow n}(n) = f_{\varphi(1,0)}(n) = f_{\epsilon_0}(n) = f_{\psi(0)}(n)\) ordinal value

\(S(n,S(T(0),4,1),1) >> f_{\varphi(2,0)}(n) = f_{\zeta_0}(n) = f_{\psi(\Omega)}(n)\) ordinal value

WORK IN PROGRESS

\(S(n,S(T(0),5,1),1) >> f_{\varphi(\omega,0)}(n) = f_{\psi(\Omega^{\omega})}(n)\) ordinal value

WORK IN PROGRESS

Growth Rate up to \(S(n,T(0),1)\)
All restricted S Functions belong to a well-ordered sequence and every individual restricted \(S\) function will have an assigned ordinal value. By definition:

\(S(0,0,0) = 0 = 0\) ordinal value

\(S(1,0,0) = 1 = 1\) ordinal value

\(S(n,0,0) = n = n\) ordinal value

\(S(n,g,h) = f_g^h(n)\) ordinal value

Therefore the Growth Rate of the S Function up to \(S(n,g,h)\) where \(g\) is a finite integer, grows at a rate comparable to \(f_{\omega}^h(n)\), and no additional proof should be required. In fact:

\(S(n,T(0),1) = f_{\omega}(n)\) ordinal value

Detailed calculations of \(S(n,S(T(0),2,2),1)\)
\(S(n,S(T(0),0,1),1) = f_{\omega + 1}(n)\) ordinal value

\(S(n,S(T(0),1,1),1) = f_{\omega.2}(n)\) ordinal value

\(S(n,S(S(T(0),1,1),0,1),1) = f_{\omega.2 + 1}(n)\) ordinal value

\(S(n,S(S(T(0),1,1),0,T(0)),1) = f_{\omega.2 + n}(n) = f_{\omega.3}(n)\) ordinal value

\(S(n,S(S(T(0),1,1),0,S(T(0),1,1)),1) = S(n,S(T(0),1,2),1) = f_{\omega.2 + \omega.2}(n) = f_{\omega.4}(n)\) ordinal value

\(= f_{\omega^2 + \omega}(3)\) ordinal value when \(n = 3\)

\(= f_{\omega^2}(4)\) ordinal value when \(n = 4\)

\(S(n,S(T(0),1,3),1) = f_{\omega.8}(n)\) ordinal value

\(= f_{\omega^2.2 + \omega.2}(3)\) ordinal value when \(n = 3\)

\(= f_{\omega^2.2}(4)\) ordinal value when \(n = 4\)

\(= f_{\omega^2 + \omega.3}(5)\) ordinal value when \(n = 5\)

\(= f_{\omega^2}(8)\) ordinal value when \(n = 8\)

\(S(n,S(T(0),2,1),1) = S(n,S(T(0),1,3),1) = f_{\omega^2.2 + \omega.2}(3)\) ordinal value when \(n = 3\)

\(= f_{\omega^2.4}(4) = f_{\omega^3}(4)\) ordinal value when \(n = 4\)

\(= f_{\omega^3.4}(8)\) ordinal value when \(n = 8\)

And in general:

\(S(n,S(T(0),2,1),1) >> f_{\omega^2}(n)\) ordinal value

Then continuing:

\(S(n,S(S(T(0),2,1),1,1),1) = f_{\omega^{\omega} + \omega^2.2 + \omega}(3)\) ordinal value when \(n = 3\)

\(= f_{\omega^3.2}(4)\) ordinal value when \(n = 4\)

\(= f_{\omega^4}(8)\) ordinal value when \(n = 8\)

\(S(n,S(S(T(0),2,1),1,2),1) = f_{\omega^{\omega + 1} + \omega^2 + \omega.2}(3)\) ordinal value when \(n = 3\)

\(= f_{\omega^{\omega}}(4)\) ordinal value when \(n = 4\)

\(= f_{\omega^4.2}(8)\) ordinal value when \(n = 8\)

\(S(n,S(S(T(0),2,1),1,3),1) = f_{\omega^{\omega + 1}.2 + \omega^{\omega} + \omega}(3)\) ordinal value when \(n = 3\)

\(= f_{\omega^{\omega}.2}(4)\) ordinal value when \(n = 4\)

\(= f_{\omega^4.4}(8)\) ordinal value when \(n = 8\)

\(S(n,S(S(T(0),2,1),1,4),1) = f_{\omega^{\omega + 1}}(4)\) ordinal value when \(n = 4\)

\(= f_{\omega^5}(8)\) ordinal value when \(n = 8\)

\(S(n,S(S(T(0),2,1),1,5),1) = f_{\omega^5.2}(8)\) ordinal value when \(n = 8\)

\(S(n,S(S(T(0),2,1),1,6),1) = f_{\omega^5.4}(8)\) ordinal value when \(n = 8\)

\(S(n,S(S(T(0),2,1),1,8),1) = f_{\omega^6.2}(8)\) ordinal value when \(n = 8\)

Therefore:

\(S(n,S(S(T(0),2,1),1,m),1) >> f_{\omega^{floor(log_2(n.2^n.2^m))}}(n)\) ordinal value

\(n^2 >> floor((n - 1).log_2(n) - n)\)

\(S(n,S(S(T(0),2,1),1,S(T(0),1,m)),1) >> S(n,S(S(T(0),2,1),1,n^2),1) >> f_{\omega^{\omega}}(n)\) ordinal value

where \(m = floor(log_2(n))\)

Continuing from here:

\(S(n,S(S(T(0),2,1),1,S(T(0),0,1)),1) = f_{\omega^{\omega + 2} + \omega^{\omega + 1} + \omega^{\omega}.2 + \omega.2}(3)\) ordinal value when \(n = 3\)

\(= f_{\omega^{\omega + 1}.2}(4)\) ordinal value when \(n = 4\)

\(= f_{\omega^6.4}(8)\) ordinal value when \(n = 8\)

\(S(n,S(S(T(0),2,1),1,S(T(0),0,T(0))),1) = S(n,S(S(T(0),2,1),1,S(T(0),1,1)),1)\)

\(= f_{\omega^{\omega.2}.2 + \omega^{\omega}.2 + \omega^2.2 + \omega.2}(3)\) ordinal value when \(n = 3\)

\(= f_{\omega^{\omega + 3}}(4)\) ordinal value when \(n = 4\)

\(= f_{\omega^{\omega + 1}}(8)\) ordinal value when \(n = 8\)

\(S(n,S(S(T(0),2,1),1,S(S(T(0),1,1),0,T(0))),1)\)

\(= f_{\omega^{\omega.2 + 2} + \omega^{\omega.2 + 1}.2 + \omega^{\omega.2} + \omega^{\omega + 2}.2 + \omega^{\omega + 1} + \omega^{\omega}.2 + \omega}(3)\) ordinal value when \(n = 3\)

\(= f_{\omega^{\omega.2 + 1}}(4)\) ordinal value when \(n = 4\)

\(= f_{\omega^{\omega + 3}.4}(8)\) ordinal value when \(n = 8\)

\(S(n,S(S(T(0),2,1),1,S(T(0),1,2)),1)\)

\(= f_{\omega^{\omega^2 + 1} + \omega^{\omega^2} + \omega^{\omega.2 + 2}.2 + \omega^{\omega.2 + 1}.2 + \omega^{\omega.2}.2 + \omega^{\omega + 2}.2 + \omega^{\omega + 1} + \omega^{\omega} + \omega^2.2+ \omega.2}(3)\) ordinal value when \(n = 3\)

\(= f_{\omega^{\omega.2 + 3}}(4)\) ordinal value when \(n = 4\)

\(= f_{\omega^{\omega + 6}}(8)\) ordinal value when \(n = 8\)

Or

\(S(n,S(T(0),2,1),1) >> f_{\omega.2^n}(n) >> f_{\omega.\omega}(n) = f_{\omega^2}(n)\) ordinal value

And

\(S(n,S(T(0),2,2),1) = S(n,S(S(T(0),2,1),1,S(T(0),2,1)),1) >> f_{\omega^{\omega}}(n)\) ordinal value

Because

\(S(n,S(T(0),2,2),1) >> f_{\omega^2.2^{\omega^2}}(n) >> f_{\omega^{\omega}}(n)\) ordinal value

where \(n^2.2^{n^2}(n) = n^2.2^{n.n} = n^2.(2^n)^n >> n^2.n^n = n^{n + 2} >> n^n\)

Detailed calculations of \(S(n,T(T(1)),1)\) Growth Rates
WORK IN PROGRESS

These examples give a better explanation of my claim that S(n,T(T(1)),1) has a growth rate faster than \(f_{LVO}(n)\)

\(S(n,T(T(0)),1) = S(n,T(n),1) >> f_{svo}(n)\)

\(S(3,T(T(0)),1) = S(3,T(3),1) >> f_{svo}(3)\)

\(S(3,T(T(0)),2) = S(S(3,T(T(0)),1),T(3),1) >> f_{svo}^2(3)\)

\(S(3,T(T(0)),T(0)) = S(3,T(T(0)),3) = S(3,S(T(T(0)),0,1),1) >> f_{svo + 1}(3)\)

\(S(3,S(T(T(0)),0,T(0)),1) >> f_{svo + 3}(3) = f_{svo + \omega}(3)\)

\(S(3,S(T(T(0)),1,1),1) = S(3,S(T(T(0)),0,T(T(0))),1) >> f_{svo.2}(3)\)

\(S(3,S(T(T(0)),1,T(0)),1) >> f_{svo.2^{svo}}(3)\)

\(S(3,S(T(T(0)),2,1),1) = S(3,S(T(T(0)),1,T(T(0))),1) >>\) TBA

\(S(3,S(T(T(0)),2,T(0)),1) >>\) TBA

\(S(3,S(T(T(0)),T(0),1),1) = S(3,S(T(T(0)),2,T(T(0))),1) >> f_{svo\uparrow\uparrow svo}(3)\) To be confirmed

\(S(3,S(T(T(0)),S(T(0),0,1),1),1) >>\) TBA

\(S(3,S(T(T(0)),S(T(0),1,1),1),1) >>\) TBA

\(S(3,S(T(T(0)),T(1),1),1) = S(3,S(T(T(0)),S(T(0),T(0),1),1),1) >>\) TBA

\(S(3,S(T(T(0)),T(2),1),1) >>\) TBA

\(S(3,T(S(T(0),0,1)),1) = S(3,S(T(T(0)),T(T(0)),1),1) >>\) TBA

\(S(3,T(S(T(0),1,1)),1) = S(3,T(S(T(0),0,T(0))),1) >>\) TBA

\(S(3,T(S(T(0),2,1)),1) = S(3,T(S(T(0),1,T(0))),1) >>\) TBA

\(S(3,T(T(1)),1) = S(3,T(S(T(0),T(0),1)),1) >> f_{LVO}(3)\)

\(S(n,T(T(1)),1) >> f_{LVO}(n)\)

WORK IN PROGRESS