Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arXiv logo
Cornell University Logo

Mathematics > Logic

arXiv:1910.13186 (math)
[Submitted on 29 Oct 2019 (v1), last revised 26 Oct 2020 (this version, v3)]

Title:Completion of Choice

Authors:Vasco Brattka, Guido Gherardi
View PDF
Abstract:We systematically study the completion of choice problems in the Weihrauch lattice. Choice problems play a pivotal role in Weihrauch complexity. For one, they can be used as landmarks that characterize important equivalences classes in the Weihrauch lattice. On the other hand, choice problems also characterize several natural classes of computable problems, such as finite mind change computable problems, non-deterministically computable problems, Las Vegas computable problems and effectively Borel measurable functions. The closure operator of completion generates the concept of total Weihrauch reducibility, which is a variant of Weihrauch reducibility with total realizers. Logically speaking, the completion of a problem is a version of the problem that is independent of its premise. Hence, studying the completion of choice problems allows us to study simultaneously choice problems in the total Weihrauch lattice, as well as the question which choice problems can be made independent of their premises in the usual Weihrauch lattice. The outcome shows that many important choice problems that are related to compact spaces are complete, whereas choice problems for unbounded spaces or closed sets of positive measure are typically not complete.
Comments: 30 pages
Subjects: Logic (math.LO); Logic in Computer Science (cs.LO)
MSC classes: 03B30, 03D30, 03D78, 03F60
Cite as: arXiv:1910.13186 [math.LO]
  (or arXiv:1910.13186v3 [math.LO] for this version)
  https://doi.org/10.48550/arXiv.1910.13186
Journal reference: Annals of Pure and Applied Logic 172:3 (2021) 102914
Related DOI: https://doi.org/10.1016/j.apal.2020.102914

Submission history

From: Vasco Brattka [view email]
[v1] Tue, 29 Oct 2019 10:45:03 UTC (36 KB)
[v2] Thu, 30 Apr 2020 11:56:35 UTC (36 KB)
[v3] Mon, 26 Oct 2020 09:25:59 UTC (36 KB)
Full-text links:

Access Paper:

view license
Current browse context:
math.LO
< prev   |   next >
new | recent | 2019-10
Change to browse by:
cs
cs.LO
math

References & Citations

export BibTeX citation

Bookmark

BibSonomy logo Reddit logo

Bibliographic and Citation Tools

Bibliographic Explorer (What is the Explorer?)
Connected Papers (What is Connected Papers?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)

Code, Data and Media Associated with this Article

alphaXiv (What is alphaXiv?)
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Hugging Face (What is Huggingface?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)

Demos

Replicate (What is Replicate?)
Hugging Face Spaces (What is Spaces?)
TXYZ.AI (What is TXYZ.AI?)

Recommenders and Search Tools

Influence Flower (What are Influence Flowers?)
CORE Recommender (What is CORE?)

arXivLabs: experimental projects with community collaborators

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.

Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)