User blog comment:Vel!/How did you find Googology Wiki?/@comment-1605058-20140725113722

After publication of this post on CP4space I have decided to look up Rayo's function. Very quickly I found the article on this wiki, and I pointed out that its strength isn't ω_1^CK*ω, but rather ω_ω^CK.