No represented space characterizes limit computability by closed choice

Let (X,δ)(X,\delta) be a represented space, let CX{\rm C}_X denote closed choice on XX, and let lim\lim denote the limit operation on Baire-space names. Non-characterization conjecture. There is no represented space (X,δ)(X,\delta) such that

CXWlim.{\rm C}_X\mathop{\equiv_{\mathrm{W}}}\lim.

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

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.