User blog comment:Bubby3/Why no Greatly Mahlo cardinal in our weakly compact OCF?/@comment-31966679-20180607203050/@comment-27513631-20180612215134

Sure. In order: used as part of an OCF, least WCC, a notion of large cardinal between hyper-Mahlo and WCC, an OCF that collapses a WCC, a method of generating large recursive ordinals (see wikipedia), an ordinal which describes teh proof-theoretic strength of a theory, a theory (don't know definition), the theory KP (axioms for admissible sets containing the set of naturals) with a rule stating that every true Π_3 sentence is true in some admissible set, another notion of large cardinal, yet another notion of large cardinal.