User blog comment:Simplicityaboveall/Extremely Large Numbers 4/@comment-28606698-20160801212403/@comment-28606698-20160802094747

I absolutely agree that FGH can have different definitions and that is why I suggest you FGH-definition, mentioned in previous comment. This definition had written according your rules, but there also  is defined case if $$\alpha$$ is limit ordinal