User blog comment:Rgetar/Thoughts on further generalization of Veblen function/@comment-25601061-20180114215600/@comment-32213734-20180115215022

I was thinking about it.

For example, BHO = φ(c0) = φ(φ1(1; 0)) = φ(φ1(Ω2)). Maybe, it will be φ(Ω2) or something.