|
Математическая логика, алгебра и теория чисел
On images of partial computable functions over computable Polish spaces
M. V. Korovinaa, O. V. Kudinovb a A.P. Ershov Institute of Informatics Systems, pr. Acad. Lavrentjev, 6, 630090, Novosibirsk, Russia
b Sobolev Institute of Mathematics, pr. Koptyug, 4, 630090, Novosibirsk, Russia
Аннотация:
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.
Ключевые слова:
computable Polish space, partial computable function, computable analysis.
Поступила 7 декабря 2016 г., опубликована 4 мая 2017 г.
Образец цитирования:
M. V. Korovina, O. V. Kudinov, “On images of partial computable functions over computable Polish spaces”, Сиб. электрон. матем. изв., 14 (2017), 418–432
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr793 https://www.mathnet.ru/rus/semr/v14/p418
|
|