User blog comment:Deedlit11/Ordinal Notations VI: Up to a weakly compact cardinal/@comment-30004975-20180129211630/@comment-30004975-20180402225817

Why do you do that?