User blog comment:Deedlit11/Ordinal Notations VI: Up to a weakly compact cardinal/@comment-10429372-20131026081009/@comment-5150073-20131026095718

Then we enumerate the number of such extensions itself and define ordinal which diagonalizes over all them. The question is how we consider this extensions.