User blog comment:Deedlit11/Keith Ramsay on the largest definable number/@comment-5150073-20130322164719/@comment-25418284-20130322214705

My personal opinion is that \(\omega_1\) basically marks the limit of FGH. It seems reasonable that it's the first ordinal with no fundamental sequence.