Computability on Quasi-Polish Spaces

We investigate the effectivizations of several equivalent definitions of quasi-Polish spaces and study which characterizations hold effectively. Being a computable effectively open image of the Baire space is a robust notion that admits several characterizations. We show that some natural effectiviz...

Full description

Saved in:
Bibliographic Details
Published inDescriptional Complexity of Formal Systems Vol. 11612; pp. 171 - 183
Main Authors Hoyrup, Mathieu, Rojas, Cristóbal, Selivanov, Victor, Stull, Donald M.
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2019
Springer International Publishing
SeriesLecture Notes in Computer Science
Online AccessGet full text
ISBN3030232468
9783030232467
ISSN0302-9743
1611-3349
DOI10.1007/978-3-030-23247-4_13

Cover

More Information
Summary:We investigate the effectivizations of several equivalent definitions of quasi-Polish spaces and study which characterizations hold effectively. Being a computable effectively open image of the Baire space is a robust notion that admits several characterizations. We show that some natural effectivizations of quasi-metric spaces are strictly stronger.
Bibliography:This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 731143C. Rojas was supported by Marie Curie RISE project CID.V. Selivanov was supported by Inria program Invited Researcher and the Regional Mathematical Center of Kazan Federal University (project 1.13556.2019/13.1 of the Ministry of Education and Science of Russian Federation).D.M. Stull was supported by Inria post-doc program.
ISBN:3030232468
9783030232467
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-030-23247-4_13