V. Brattka, Effective Borel measurability and reducibility of functions, Mathematical Logic Quarterly, vol.51, issue.1, pp.19-44, 2005.

B. Matthew-de, Quasi-Polish spaces, Ann. Pure Appl. Logic, vol.164, issue.3, pp.356-381, 2013.

A. Matthew-de-brecht, M. Pauly, and . Schröder, Overt choice. CoRR, abs/1902.05926, 2019.

M. Matthew-de-brecht, V. Schröder, and . Selivanov, Base-complexity classifications of qcb0-spaces, Computability, vol.5, issue.1, pp.75-102, 2016.

M. Hoyrup, Results in descriptive set theory on some represented spaces, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01657883

M. Hoyrup, C. Rojas, V. L. Selivanov, and D. M. Stull, Computability on quasi-Polish spaces, Michal Hospodár, Galina Jirásková, and Stavros Konstantinidis
URL : https://hal.archives-ouvertes.fr/hal-02118947

D. Conference, Proceedings, vol.11612, pp.171-183, 2019.

A. S. Kechris, Classical Descriptive Set Theory, 1995.

D. Normann, Chapter 8 -The continuous functionals, Handbook of Computability Theory, vol.140, pp.251-275, 1999.

A. Pauly, On the topological aspects of the theory of represented spaces, Computability, vol.5, issue.2, pp.159-180, 2015.

A. Pauly and . Matthew-de-brecht, Descriptive set theory in the category of represented spaces, 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, pp.438-449, 2015.

J. Saint and R. , Preservation of the Borel class under countable-compact-covering mappings, Topology and its Applications, vol.154, issue.8, pp.1714-1725, 2007.

M. Schröder, Spaces allowing type-2 complexity theory revisited, Math. Log. Q, vol.50, issue.4-5, pp.443-459, 2004.

L. Victor and . Selivanov, Difference hierarchy in ?-spaces, Algebra and Logic, vol.43, issue.4, pp.238-248, 2004.

L. Victor and . Selivanov, Total representations, Logical Methods in Computer Science, vol.9, issue.2, 2013.

L. Victor and . Selivanov, Effective Wadge hierarchy in computable quasi-Polish spaces, 2019.

R. Vaught, Invariant sets in topology and logic, Fundamenta Mathematicae, vol.82, issue.3, pp.269-294, 1974.

K. Weihrauch, Computable Analysis, 2000.