7 citations · 8 across the 3 of their papers we have counts for
8 papers
On some of Brouwer's axioms
Wim Veldman
We discuss the position of intuitionistic mathematics within the field of constructive mathematics. We discuss some principles defended and used by Brouwer but rejected by Bishop,…
Intuitionism: an inspiration?
Wim Veldman
The paper is an introduction to intuitionistic mathematics.
Equality and equivalence, intuitionistically
Wim Veldman
We show that the intuitionistic first-order theory of equality has continuum many complete extensions. We also study the Vitali equivalence relation and show there are many intuiti…
Retracing Cantor's first steps in Brouwer's company
Wim Veldman
We prove intuitionistic versions of the classical theorems saying that all countable closed subsets of and even all countable subsets of are sets of uniqueness.
The Principle of Open Induction on Cantor space and the Approximate-Fan Theorem
Wim Veldman
The paper is a contribution to intuitionistic reverse mathematics. We work in a weak formal system for intuitionistic analysis. The Principle of Open Induction on Cantor space is t…
The Fan Theorem, its strong negation, and the determinacy of games
Wim Veldman
IIn the context of a weak formal theory called Basic Intuitionistic Mathematics , we study Brouwer's Fan Theorem and a strong negation of the Fan Theorem, Kleene's Al…