User blog comment:Deedlit11/Ordinal Notations VI: Up to a weakly compact cardinal/@comment-24509095-20140702105435

Btw, the MathJax definitions go out of the page. Can you fix them? (Like, say, place the broken part on the next line) Thanks. :)