Year: 2025
Type: article
Abstract: We argue that some of Brouwer’s assumptions, rejected by Bishop, should be considered and studied as possible axioms. We show that Brouwer’s Continuity Principle enables one to prove an intuitionistic Borel Hierarchy Theorem. We also explain that Brouwer’s Fan Theorem is useful for a development of the theory of measure and integral different from the one worked out by Bishop. We show that Brouwer’s bar theorem not only proves the Fan Theorem but also a stronger statement that we call the Almost-fan Theorem. The Almost-fan Theorem implies intuitionistic versions of Ramsey’s Theorem and the Bolzano-Weierstrass Theorem.
Source: Bulletin of Symbolic Logic
DOI: 10.1017/bsl.2024.52
Author: WIM VELDMAN
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4226256534