Электронный архив

Просмотр по автору "Hoyrup M."

Просмотр по автору "Hoyrup M."

Отсортировать по:Сортировать:Результаты поиска на странице:

  • 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 ...
  • 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 ...

Поиск в электронном архиве

Просмотр

Моя учетная запись