User blog comment:Rgetar/Creating FGH for transfinite ordinals/@comment-34422464-20190701005316/@comment-32213734-20190701012743

I found March 9, 2014 Wythagoras' blog:

FGH with transfinite ordinals

You mean this? Interesting, thanks. Apparently, Wythagoras' FGH is slightly different: with Rules 1, 2, 4 for finite ordinals, and Rules 1, 2, 3 for transfinite ordinals.