Computability on quasi-Polish spaces

Mathieu Hoyrup (1) , Cristóbal Rojas (2) , Victor Selivanov (3) , Donald M Stull (1)

1 MOCQUA - Designing the Future of Computational Models
2 UNAB - Universidad Andrés Bello [Santiago]
3 KFU - Kazan Federal University

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.

Domaines: Topologie générale [math.GN]; Logique [math.LO]

Mathieu Hoyrup, Cristóbal Rojas, Victor Selivanov, Donald M Stull. Computability on quasi-Polish spaces. DCFS 2019 - 21st International Conference on Descriptional Complexity of Formal Systems, Jul 2019, Kosice, Slovakia. pp.171-183. ⟨hal-02118947v2⟩