Degrees of Non-computability of Homeomorphism Types of Polish Spaces

Abstract

© 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 the details of degrees of non-computability of presenting homeomorphic copies of Polish spaces.