Geodesic
On images of partial computable functions over computable Polish~spaces
Sibirskie èlektronnye matematičeskie izvestiâ, Tome 14 (2017), pp. 418-432

Voir la notice de l'article provenant de la source Math-Net.Ru

This paper is a part of the ongoing program on analysing the complexity of various problems in computable analysis in terms of the effective Borel and Lusin hierarchies. We give an answer to the question by A. Morozov and K. Weihrauch that concerns a characterisation of image complexity of partial computable functions over computable Polish spaces.
Keywords: computable Polish space, partial computable function, computable analysis. 
@article{SEMR_2017_14_a12,
     author = {M. V. Korovina and O. V. Kudinov},
     title = {On images of partial computable functions over computable {Polish~spaces}},
     journal = {Sibirskie \`elektronnye matemati\v{c}eskie izvesti\^a},
     pages = {418--432},
     publisher = {mathdoc},
     volume = {14},
     year = {2017},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/SEMR_2017_14_a12/}
}
TY  - JOUR
AU  - M. V. Korovina
AU  - O. V. Kudinov
TI  - On images of partial computable functions over computable Polish~spaces
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2017
SP  - 418
EP  - 432
VL  - 14
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SEMR_2017_14_a12/
LA  - en
ID  - SEMR_2017_14_a12
ER  - 
%0 Journal Article
%A M. V. Korovina
%A O. V. Kudinov
%T On images of partial computable functions over computable Polish~spaces
%J Sibirskie èlektronnye matematičeskie izvestiâ
%D 2017
%P 418-432
%V 14
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SEMR_2017_14_a12/
%G en
%F SEMR_2017_14_a12
M. V. Korovina; O. V. Kudinov. On images of partial computable functions over computable Polish~spaces. Sibirskie èlektronnye matematičeskie izvestiâ, Tome 14 (2017), pp. 418-432. http://geodesic.mathdoc.fr/item/SEMR_2017_14_a12/