Computability on quasi-Polish spaces

Mathieu Hoyrup, Cristobal Rojas, Victor Selivanov +1

We investigate the effectivizations of several equivalent definitions of quasi-Polish spaces and study which characterizations hold effectively. Being a computable effectively open…