User blog comment:Deedlit11/Ordinal Notations V: Up to a weakly Mahlo cardinal/@comment-5150073-20130716084312

If you defined the ordinal for the fastest growing recursive function (from Friedman, related to promise games), then how Loader's ordinal can be expressed.