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

If not w_1, then what is the limit ordinal of the function in general?