User blog comment:Deedlit11/Ordinal Notations VI: Up to a weakly compact cardinal/@comment-5150073-20140515153351/@comment-25418284-20140521150715

"f(f(f(...)))" is also a vague term. Do you mean $$\sup\{n < \omega | f^n(0)\}$$?