User blog comment:Tetramur/My thoughts about functions and numbers/@comment-37432134-20191230055814

"Rayo's function would eventually dominate every function represented in FGH with countable ordinal (doesn't matter whether this function is computable or uncomputable) if it were properly formalized and well-defined"

Disagree. Including every countable ordinal basically means including all functions including Rayo(n). Just because it uses FOST a good reason for it to be 'not definable' in FGH doesnt appear to be.