Unique choice is Weihrauch-equivalent to choice on Baire space

Let UCX{\rm UC}_X denote the unique closed choice operation on a represented Hausdorff space XX, and let CX{\rm C}_X denote closed choice on XX. For Baire space { obreak\begin{\mathbb{N}}^{ obreak\begin{\mathbb{N}}}}, the unique-choice conjecture.

UCNNWCNN.{\rm UC}_{{\mathbb{N}}^{\mathbb{N}}}\mathop{\equiv_{\mathrm{W}}}{\rm C}_{{\mathbb{N}}^{\mathbb{N}}}.

Unique choice is always Weihrauch-reducible to full choice, and the corresponding equivalence is proved for N{\mathbb{N}}. The conjecture asks whether the same phenomenon holds for Baire space.

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.