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

What about 1-weakly Mahlo cardinals?