User blog comment:Rgetar/Thoughts on further generalization of Veblen function/@comment-32783837-20180121134827

At the end, your φ(α) is the same thing as Feferman's theta.