We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Kolgomorov-Veloso Problems and Dialectica Categories

Abstract: We investigate the categorical connection between Dialectica constructions, Kolmogorov problems, Veloso problems and Blass problems. We show that the work of Kolmogorov can be regarded as a bridge between Veloso's abstract notion of a problem and the conceptual problems Blass discussed in his questions-and-answers framework. This bridge can be seen by means of the categorical Dialectica constructions introduced in de Paiva's dissertation and reformulated by da Silva to account for set-theoretical foundational assumptions. The use of categorical concepts allows us to provide several examples, connecting extremely different areas of mathematics, and using simple methods. This paper also shows that while Blass and Kolmogorov notions of problem can be investigated using the Zermelo-Fraenkel (ZF) set-theoretical framework, Veloso problems require the Axiom of Choice (AC). Moreover, weaker notions of choice (dependent choice and countable choice) can also be accounted for in the problems' framework.
Subjects: Logic (math.LO)
Cite as: arXiv:2107.07854 [math.LO]
  (or arXiv:2107.07854v1 [math.LO] for this version)

Submission history

From: Valeria de Paiva [view email]
[v1] Fri, 16 Jul 2021 12:43:17 GMT (111kb)
[v2] Wed, 16 Feb 2022 23:17:08 GMT (225kb)

Link back to: arXiv, form interface, contact.