References & Citations
Mathematics > Logic
Title: Kolmogorov-Veloso Problems and Dialectica Categories
(Submitted on 16 Jul 2021 (v1), last revised 16 Feb 2022 (this version, v2))
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.
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.