No represented space characterizes limit computability by closed choice
No represented space characterizes limit computability by closed choice
Let be a represented space, let denote closed choice on , and let denote the limit operation on Baire-space names. Non-characterization conjecture. There is no represented space such that
Closed choice on natural spaces characterizes several classes of computable functions, but limit computable functions are not closed under composition, unlike the classes discussed in the surrounding results. The conjecture asserts that no represented space yields limit computability exactly through Weihrauch-equivalent closed choice.
Sources & referencesView supporting material
Primary source
Vasco Brattka, Matthew de Brecht and Arno Pauly, “Closed Choice and a Uniform Low Basis Theorem”, arXiv:1002.2800 (2010).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.