Browsing by Author "Hoyrup M."

Sort by: Order: Results:

  • Computability on Quasi-Polish Spaces 
    Hoyrup M.; Rojas C.; Selivanov V.; Stull D. (2019)
    © 2019, IFIP International Federation for Information Processing. We investigate the effectivizations of several equivalent definitions of quasi-Polish spaces and study which characterizations hold effectively. Being a ...
  • Degrees of Non-computability of Homeomorphism Types of Polish Spaces 
    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 ...

Search DSpace

Browse

My Account