User blog comment:Ubersketch/A proposal for a standard/@comment-11227630-20190813030043/@comment-35470197-20190815082953

By the way, if you do not have an algorithm to compare terms, then how do you compare your functions and FGH based on large ordinals? Usually we need recursive FSes in order to analyse, and comparison algorithm in order to define recursive FSes beyond ψ(Ω_ω). Do you have any novel strategy in analysis without specific FSes? Since FGH heavily depends on the choice of FSes, it sounds strange.