User blog comment:Deedlit11/Ordinal Notations VI: Up to a weakly compact cardinal/@comment-25418284-20130718062620/@comment-1605058-20130718063051

Noep, we aren't even reaching second order arithmetic, let alone higher order arithmetic, let alone first order logic, let alone higher order logic. Strongest notation ever reaches only SO arithmetic.