Wim Veldman
4 Publications
Brouwer's approximate fixed-point theorem is equivalent to Brouwer's fan theorem
2009
in: Logicism, intuitionism, and formalism, Berlin,
The problem of determinacy of infinite games from an intuitionistic point of view
2009
in: Games, Berlin,
Some applications of Brouwer's thesis on bars
2008
in: One hundred years of intuitionism (1907–2007), Berlin,
On the persistent difficulty of disjunction
2003
in: Philosophical dimensions of logic and science, Berlin,
4 Publications