User blog comment:Edwin Shade/Higher-Dimensional Spaces/@comment-28606698-20171016200813/@comment-80.98.179.160-20180109124851

So, is there such as \(\omega_1^\text{CK}\)-space? If yes, it's uncomputable.