Unique choice is Weihrauch-equivalent to choice on Baire space
Unique choice is Weihrauch-equivalent to choice on Baire space
Let denote the unique closed choice operation on a represented Hausdorff space , and let denote closed choice on . For Baire space { obreak\begin{\mathbb{N}}^{ obreak\begin{\mathbb{N}}}}, the unique-choice conjecture.
Unique choice is always Weihrauch-reducible to full choice, and the corresponding equivalence is proved for . 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
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.