Hoyrup M.; Kihara T.; Selivanov V.
(2020)
© 2020, Springer Nature Switzerland AG. There are continuum many homeomorphism types of Polish spaces. In particular, there is a Polish space which is not homeomorphic to any computably presented Polish space. We examine ...