User blog comment:Googleaarex/My Ordinals/@comment-24509095-20140308120005

But,

$$f_{f_0(\omega)}(\omega)$$ is just $$\varphi(\omega+1,0)$$