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

Will inaccessibles diagonalize over W, I, M, and K?