User blog comment:Tetramur/BEAF above SVO - comparison/@comment-5150073-20200219121934/@comment-44370455-20200220210339

> What is Omega^^Omega in terms of psi function?

I think I can help with this question. It depends on what you define w^^(w+1) as being. Some evaluations equate it to w^(e(0)+1), e(1), phi(2,0) and even phi(w,0). If we're going with w^^(w+w*k) = e(k), then we'll just end up with psi(e(Omega*2)), at least in Buchholz's psi. This is the same if we go with w^^(w+k) = e(k).

You'd end up having something like psi(Omega^^psi(Omega^^psi(Omega^^...))) which would basically analagous to psi(e(Omega+psi(e(Omega+psi(e(Omega+...)))))), which would reach the limits psi(Omega^^Omega) and psi(e(Omega+Omega)) or psi(e(Omega*2)) respectively.

For the other iterations of w^^(w+1), I do not know of their methods, at least not enough to make a valid comparison.