User blog comment:B1mb0w/Fundamental Sequences/@comment-26428969-20151104104848/@comment-10262436-20151107045710

\varphi(\beta+1)[n] = \omega\uparrow\uparrow(\beta+1)[n] = \omega\uparrow\uparrow\beta^n = \varphi(\beta)^n<\math>

Do you agree with the above ?