User blog comment:Edwin Shade/A Small Question/@comment-30754445-20171029013412/@comment-32876686-20171029014007

Oh, so if $${\omega_1}^{CK}$$ is a countable ordinal, does that mean it has a fundamental sequence ?