Effective Borel measurability and reducibility of functions, Mathematical Logic Quarterly, vol.51, issue.1, pp.19-44, 2005. ,
Descriptive complexity on non-Polish spaces, STACS, 2020. ,
URL : https://hal.archives-ouvertes.fr/hal-02298815
Quasi-Polish spaces, Ann. Pure Appl. Logic, vol.164, issue.3, pp.356-381, 2013. ,
, Arno Pauly, and Matthias Schröder. Overt choice. Computability, 2019.
Basecomplexity classifications of qcb 0 -spaces, Computability, vol.5, issue.1, pp.75-102, 2016. ,
Topologies on spaces of continuous functions, Topology Proceedings, vol.26, issue.2, pp.545-564, 2001. ,
, General topology. Rev. and compl, vol.6, 1989.
Spaces in which sequences suffice II, Fundamenta Mathematicae, vol.61, issue.1, pp.51-56, 1967. ,
Index sets in Ershov's hierarchy, The Journal of Symbolic Logic, vol.39, pp.97-104, 1974. ,
Classical Descriptive Set Theory, 1995. ,
A note on the Arens' space and sequential fan, Topology and its Applications, vol.81, issue.3, pp.185-196, 1997. ,
Capacities on non-Hausdorff spaces, Probability and Lattices, vol.110, pp.133-150, 1997. ,
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. ,
A wadge hierarchy for second countable spaces, Arch. Math. Log, vol.54, issue.5-6, pp.659-683, 2015. ,
Wadge-like reducibilities on arbitrary quasi-polish spaces, Mathematical Structures in Computer Science, vol.25, issue.8, pp.1705-1754, 2015. ,
Admissible Representations for Continuous Computations, 2002. ,
A Hofmann-Mislove theorem for Scott open sets, 2015. ,
Index sets in the hyperarithmetical hierarchy, Siberian Mathematical Journal, vol.25, pp.474-488, 1984. ,
Difference hierarchy in ?-spaces, Algebra and Logic, vol.43, issue.4, pp.238-248, 2004. ,
, Total representations. Logical Methods in Computer Science, vol.9, 2013.
Theory of k-networks. Q. and A, Gen. Top, vol.12, pp.139-164, 1994. ,
Computable Analysis, 2000. ,