On Higher Effective Descriptive Set Theory

  • Margarita Korovina
  • Oleg Kudinov
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10307)


In the framework of computable topology, we propose an approach how to develop higher effective descriptive set theory. We introduce a wide class \(\mathbb {K}\) of effective \(T_0\)-spaces admitting Borel point recovering. For this class we propose the notion of an \((\alpha ,m)\)-retractive morphism that gives a great opportunity to extend classical results from EDST to the class \(\mathbb {K}\). We illustrate this by several examples.


Higher effective descriptive set theory Effective topological space Effective \(T_0\)–space admitting Borel point recovering \((\alpha , m)\)-retractive morphism Effective Borel and Lusin hierarchies Suslin-Kleene Theorem Uniformisation Theorem 


  1. 1.
    Becher, V., Heiber, P., Slaman, T.A.: Normal numbers and the Borel hierarchy. Fundamenta Mathematicae 22, 63–77 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    de Brecht, M.: Quasi-Polish spaces. Ann. Pure Appl. Logic 164, 356–381 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Gao, S.: Invariant Descriptive Set Theory. CRC Press, New York (2009)zbMATHGoogle Scholar
  4. 4.
    Gregoriades, V., Kispeter, T., Pauly, A.: A comparison of concepts from computable analysis and effective descriptive set theory. Math. Struct. Comput. Sci. 1–23 (2016). (Published online: 23 June 2016)
  5. 5.
    Kechris, A.S.: Classical Descriptive Set Theory. Springer, New York (1995)CrossRefzbMATHGoogle Scholar
  6. 6.
    Korovina, M., Kudinov, O.: Complexity for partial computable functions over computable Polish spaces. Math. Struct. Comput. Sci. (2016). doi: 10.1017/S0960129516000438. (Published online: 19 December 2016)
  7. 7.
    Korovina, M., Kudinov, O.: Index sets as a measure of continuous constraint complexity. In: Voronkov, A., Virbitskaite, I. (eds.) PSI 2014. LNCS, vol. 8974, pp. 201–215. Springer, Heidelberg (2015). doi: 10.1007/978-3-662-46823-4_17 Google Scholar
  8. 8.
    Korovina, M., Kudinov, O.: Towards computability over effectively enumerable topological spaces. Electr. Notes Theor. Comput. Sci. 221, 115–125 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Korovina, M., Kudinov, O.: Towards computability of higher type continuous data. In: Cooper, S.B., Löwe, B., Torenvliet, L. (eds.) CiE 2005. LNCS, vol. 3526, pp. 235–241. Springer, Heidelberg (2005). doi: 10.1007/11494645_30 CrossRefGoogle Scholar
  10. 10.
    Louveau, A.: Recursivity and compactness. In: Müller, G.H., Scott, D.S. (eds.) Higher Set Theory. LNM, vol. 669, pp. 303–337. Springer, Heidelberg (1978). doi: 10.1007/BFb0103106 CrossRefGoogle Scholar
  11. 11.
    Montalban, A., Nies, A.: Borel structures: a brief survey. Lect. Notes Logic 41, 124–134 (2013)MathSciNetzbMATHGoogle Scholar
  12. 12.
    Moschovakis, Y.N.: Descriptive Set Theory. Studies in Logic Series. North Holland, Amsterdam (1980)zbMATHGoogle Scholar
  13. 13.
    Moschovakis, Y.N.: Descriptive Set Theory, 2nd edn. North-Holland, Amsterdam (2009)CrossRefzbMATHGoogle Scholar
  14. 14.
    Rogers, H.: Theory of Recursive Functions and Effective Computability. McGraw-Hill, New York (1967)zbMATHGoogle Scholar
  15. 15.
    Soare, R.I.: Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets. Springer Science and Business Media, Heidelberg (1987)CrossRefzbMATHGoogle Scholar
  16. 16.
    Spreen, D.: On effective topological spaces. J. Symb. Log. 63(1), 185–221 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    Selivanov, V.L.: Towards a descriptive set theory for domain-like structures. Theor. Comput. Sci. 365(3), 258–282 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
  18. 18.
    Selivanov, V.: Towards the effective descriptive set theory. In: Beckmann, A., Mitrana, V., Soskova, M. (eds.) CiE 2015. LNCS, vol. 9136, pp. 324–333. Springer, Cham (2015). doi: 10.1007/978-3-319-20028-6_33 CrossRefGoogle Scholar
  19. 19.
    Weihrauch, K.: Computable Analysis. Springer, Heidelberg (2000)CrossRefzbMATHGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.A.P. Ershov Institute of Informatics Systems, SbRASNovosibirskRussia
  2. 2.Sobolev Institute of Mathematics, SbRASNovosibirskRussia

Personalised recommendations