User blog comment:Deedlit11/Ordinal Notations VI: Up to a weakly compact cardinal/@comment-30004975-20180110054958/@comment-24920136-20180110175038

you yada yada'd the best part