User blog comment:LittlePeng9/Fundamental sequences for large ordinals/@comment-25418284-20140511062851

Why isn't \(\omega_1^\text{CK}\) clockable?