User blog comment:Wythagoras/FGH with transfinite ordinals/@comment-5029411-20140312201819

$$f_{I_n}(\alpha) = f_{\Omega_{I_{n-1} + \alpha}}(\alpha)$$

$$f_{I(1,0)}(\alpha) = f_{I_\alpha}(\alpha)$$