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 effectivizations of quasi-metric spaces are strictly stronger.

[1]  Samson Abramsky,et al.  Domain theory , 1995, LICS 1995.

[2]  Victor L. Selivanov,et al.  Towards a descriptive set theory for domain-like structures , 2006, Theor. Comput. Sci..

[3]  Oleg V. Kudinov,et al.  On Higher Effective Descriptive Set Theory , 2017, CiE.

[4]  A. Louveau,et al.  Recursivity and compactness , 1978 .

[5]  Oleg V. Kudinov,et al.  Towards Computability over Effectively Enumerable Topological Spaces , 2008, CCA.

[6]  Mathieu Hoyrup,et al.  Genericity of Weakly Computable Objects , 2017, Theory of Computing Systems.

[7]  Jr. Hartley Rogers.  Theory of Recursive Functions and Effective Computability , 1969 .

[8]  Klaus Weihrauch,et al.  Computable Analysis: An Introduction , 2014, Texts in Theoretical Computer Science. An EATCS Series.

[9]  Victor L. Selivanov,et al.  On the Difference Hierarchy in Countably Based T0-Spaces , 2008, CCA.

[10]  D. C. Cooper,et al.  Theory of Recursive Functions and Effective Computability , 1969, The Mathematical Gazette.

[11]  Vassilios Gregoriades,et al.  Classes of Polish Spaces Under Effective Borel Isomorphism , 2016, 1701.03735.

[12]  Klaus Weihrauch,et al.  Computable metrization , 2007, Math. Log. Q..

[13]  Su Gao.  Invariant Descriptive Set Theory , 2008 .

[14]  Matthew de Brecht.  Quasi-Polish spaces , 2011, Ann. Pure Appl. Log..

[15]  Victor L. Selivanov.  Towards the Effective Descriptive Set Theory , 2015, CiE.

[16]  Verónica Becher,et al.  Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization , 2013, Mathematical Structures in Computer Science.

[17]  Arno Pauly,et al.  Overt choice , 2019, Comput..

[18]  Arno Pauly,et al.  A comparison of concepts from computable analysis and effective descriptive set theory , 2014, Mathematical Structures in Computer Science.

[19]  Benjamin Naumann,et al.  Classical Descriptive Set Theory , 2016 .

[20]  R. Schindler.  Descriptive Set Theory , 2014 .

[21]  Ruiyuan Chen.  Notes on quasi-Polish spaces , 2018 .