User blog comment:Deedlit11/Ordinal Notations VI: Up to a weakly compact cardinal/@comment-1605058-20130718061544/@comment-5150073-20130718091421

This limit will necessarily exist, and must be equal or below Church-Kleene ordinal. To reach this ordinal, we must change our pattern so that notation will be uncomputable.