Computability on quasi-Polish spaces
Logic
2019-05-08 v3
Abstract
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.
Keywords
Cite
@article{arxiv.1903.02979,
title = {Computability on quasi-Polish spaces},
author = {Mathieu Hoyrup and Cristobal Rojas and Victor Selivanov and Donald M. Stull},
journal= {arXiv preprint arXiv:1903.02979},
year = {2019}
}