|
Mathematical logic, algebra and number theory
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
Abstract:
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.
Received December 7, 2016, published May 4, 2017
Citation:
M. V. Korovina, O. V. Kudinov, “On images of partial computable functions over computable Polish spaces”, Sib. Èlektron. Mat. Izv., 14 (2017), 418–432
Linking options:
https://www.mathnet.ru/eng/semr793 https://www.mathnet.ru/eng/semr/v14/p418
|
|