Effective Borel measurability and reducibility of functions, Mathematical Logic Quarterly, vol.51, issue.1, pp.19-44, 2005. ,
Quasi-Polish spaces, Ann. Pure Appl. Logic, vol.164, issue.3, pp.356-381, 2013. ,
Overt choice. CoRR, abs/1902.05926, 2019. ,
Base-complexity classifications of qcb0-spaces, Computability, vol.5, issue.1, pp.75-102, 2016. ,
Results in descriptive set theory on some represented spaces, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01657883
Computability on quasi-Polish spaces, Michal Hospodár, Galina Jirásková, and Stavros Konstantinidis ,
URL : https://hal.archives-ouvertes.fr/hal-02118947
, Proceedings, vol.11612, pp.171-183, 2019.
Classical Descriptive Set Theory, 1995. ,
Chapter 8 -The continuous functionals, Handbook of Computability Theory, vol.140, pp.251-275, 1999. ,
On the topological aspects of the theory of represented spaces, Computability, vol.5, issue.2, pp.159-180, 2015. ,
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. ,
Preservation of the Borel class under countable-compact-covering mappings, Topology and its Applications, vol.154, issue.8, pp.1714-1725, 2007. ,
Spaces allowing type-2 complexity theory revisited, Math. Log. Q, vol.50, issue.4-5, pp.443-459, 2004. ,
Difference hierarchy in ?-spaces, Algebra and Logic, vol.43, issue.4, pp.238-248, 2004. ,
Total representations, Logical Methods in Computer Science, vol.9, issue.2, 2013. ,
Effective Wadge hierarchy in computable quasi-Polish spaces, 2019. ,
Invariant sets in topology and logic, Fundamenta Mathematicae, vol.82, issue.3, pp.269-294, 1974. ,
Computable Analysis, 2000. ,