User blog:Ubersketch/Hypernomial Hierarchy v2

\(\textrm{S}(n) = n+1\)

\(f_g(n)\) = \(f(n)\) repeated \(g(n)\) times

\(a[n]\) is the \(n\)th member of the fundamental sequence of \(a\)

\(\omega[n]=n\)

\(f(a)[n]=f(a[n])\)

\(0\) is an ordinal in \(H\)

\(\omega\) is an ordinal in \(H\)

\(h(H)\) is an ordinal in \(H\)

\(\textrm{S}(n)\) is a function in \(h\)

\(h_h(n)\) is a function in \(h\)

\(H[n]\) is a function in \(h\)