Feedback computability on Cantor space
Logic
2023-06-22 v5 Logic in Computer Science
Abstract
We introduce the notion of feedback computable functions from to , extending feedback Turing computation in analogy with the standard notion of computability for functions from to . We then show that the feedback computable functions are precisely the effectively Borel functions. With this as motivation we define the notion of a feedback computable function on a structure, independent of any coding of the structure as a real. We show that this notion is absolute, and as an example characterize those functions that are computable from a Gandy ordinal with some finite subset distinguished.
Keywords
Cite
@article{arxiv.1708.01139,
title = {Feedback computability on Cantor space},
author = {Nathanael L. Ackerman and Cameron E. Freer and Robert S. Lubarsky},
journal= {arXiv preprint arXiv:1708.01139},
year = {2023}
}