User blog:Ikosarakt1/Another research in comparisons between FGH and SGH

Recently I explored that SGH catches FGH not even at LVO, but even at Feferman-Schutte ordinal. I noted that each increment to the FGH ordinal leads to the same growth rate in the SGH ordinal, but when that increment is placed inside theta function. Only thing what we have to prove is that if

\(g_{\theta(\alpha)}(n) \approx f_{\alpha}(n)\)

Then:

\(g_{\theta(\alpha,m)}(n) \approx f_{\alpha}(n(m+1))\)

From that we could find that \(g_{\theta(\alpha+1)}(n) \approx f_{\alpha+1}(n)\), as \(g_{\theta(\alpha+1)}(n)\) collapses to \(g_{\theta(\alpha,\theta(\alpha,\cdots,\theta(\alpha)\cdots))}(n)\) (n \(\alpha\)'s) and \(f_{\alpha+1}(n)\) to \(f_\alpha(f_\alpha(f_\alpha(\cdots(f_\alpha(n))\cdots))\) (n \(\alpha\)'s).

So, roughly speaking, we just need to remove one \(\theta\) from the resulting SGH ordinal in order to get to the corresponding FGH ordinal. Then it is obvious why FGH catches SGH namely on \(\Gamma_0 = \theta(\theta(\theta(\cdots)))\)