User blog comment:WaxPlanck/Chess Ordinals and Uncountable Growth/@comment-5029411-20180123010330/@comment-80.98.179.160-20180123174117

But how large is \(\omega_1^{\mathfrak{Ch}_4}\)???