Outline of Partial Computability in Computable Topology

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


In the framework of computable topology we investigate properties of partial computable functions, in particular complexity of various problems in computable analysis in terms of index sets, the effective Borel and Lusin hierarchies.


  1. 1.
    Ershov, Y.L.: Theory of numberings. In: Griffor, E.R. (ed.) Handbook of Computability Theory, pp. 473–503. Elsevier Science B.V., Amsterdam (1999)CrossRefGoogle Scholar
  2. 2.
    Edalat, A.: Domains for computation in mathematics, physics and exact real arithmetic. Bull. Symbolic Log. 3(4), 401–452 (1997)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.
    Hemmerling, A.: Effective metric spaces and representations of the reals. Theor. Comput. Sci. 284(2), 347–372 (2002)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Hemmerling, A.: On approximate and algebraic computability over the real numbers. Theor. Comput. Sci. 219(1–2), 185–223 (1999)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Kechris, A.S.: Classical Descriptive Set Theory. Springer, New York (1995)CrossRefzbMATHGoogle Scholar
  8. 8.
    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)
  9. 9.
    Korovina, M., Kudinov, O.: Computable elements and functions in effectively enumerable topological spaces. Mathematical structure in Computer Science (2016). doi: 10.1017/S0960129516000141. (Published online: 23 June 2016)
  10. 10.
    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
  11. 11.
    Korovina, M., Kudinov, O.: Towards computability over effectively enumerable topological spaces. Electr. Notes Theor. Comput. Sci. 221, 115–125 (2008)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    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
  13. 13.
    Korovina, M., Kudinov, O.: Characteristic properties of majorant-computability over the reals. In: Gottlob, G., Grandjean, E., Seyr, K. (eds.) CSL 1998. LNCS, vol. 1584, pp. 188–203. Springer, Heidelberg (1999). doi: 10.1007/10703163_14 CrossRefGoogle Scholar
  14. 14.
    Moschovakis, Y.N.: Descriptive set theory. North-Holland, Amsterdam (2009)CrossRefzbMATHGoogle Scholar
  15. 15.
    Moschovakis, Y.N.: Recursive metric spaces. Fund. Math. 55, 215–238 (1964)MathSciNetzbMATHGoogle Scholar
  16. 16.
    Rogers, H.: Theory of Recursive Functions and Effective Computability. McGraw-Hill, New York (1967)zbMATHGoogle Scholar
  17. 17.
    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
  18. 18.
    Spreen, D.: On effective topological spaces. J. Symb. Log. 63(1), 185–221 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  19. 19.
    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
  20. 20.
    Weihrauch, K.: Computable Analysis. Springer, New York (2000)CrossRefzbMATHGoogle Scholar
  21. 21.
    Weihrauch, K.: Computability on computable metric spaces. Theor. Comput. Sci. 113(1), 191–210 (1993)MathSciNetCrossRefzbMATHGoogle 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