User blog comment:Rgetar/Idea for FGH for larger transfinite ordinals/@comment-35470197-20190702232339/@comment-32213734-20190705055005

I can try to make a system of fundamental sequences using FGH itself - make a method to get an fs element from a given FGH expression, something like
 * a[n] = n for α = cof(α)
 * fα(x)[n] = fα[n](x) for some cases
 * fαβ(x)[n] = fαβ[n](x) for some cases
 * etc.

and then make up some method to choose a unique FGH expression (standard form) of an ordinal