RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирские электронные математические известия // Архив

Сиб. электрон. матем. изв., 2017, том 14, страницы 418–432 (Mi semr793)

Математическая логика, алгебра и теория чисел

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.

УДК: 510.2

MSC: 03D78, 03D65, 03F60

Поступила 7 декабря 2016 г., опубликована 4 мая 2017 г.

Язык публикации: английский

DOI: 10.17377/semi.2017.14.035



Реферативные базы данных:


© МИАН, 2024