We study the Weihrauch degrees of closed choice for finite sets, closed choice for convex sets and sorting infinite sequences over finite alphabets. Our main result is that choice for finite sets of cardinality i+1 is reducible to choice for convex sets in dimension j, which in turn is reducible to sorting infinite sequences over an alphabet of size k+1, iff i≤j≤k. Our proofs invoke Kleene’s recursion theorem, and we describe in some detail how Kleene’s recursion theorem gives rise to a technique for proving separations of Weihrauch degrees.
CITATION STYLE
Kihara, T., & Pauly, A. (2019). Finite choice, convex choice and sorting. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 11436 LNCS, pp. 378–393). Springer Verlag. https://doi.org/10.1007/978-3-030-14812-6_23
Mendeley helps you to discover research relevant for your work.