Wim Veldman

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Projective sets, intuitionistically	2023-08-10	Paper
On some of Brouwer's axioms	2022-02-12	Paper
Intuitionism: an inspiration?	2022-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q5004955	2021-08-03	Paper
Equality and equivalence, intuitionistically	2021-03-19	Paper
Intuitionism: an inspiration?	2021-02-02	Paper
Enrico Martino.*Intuitionistic Proof Versus Classical Truth, The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics	2020-09-30	Paper
Retracing Cantor's first steps in Brouwer's company	2018-01-12	Paper
IN MEMORIAM: WALTER (WOUTER) VAN STIGT (1927–2015)	2017-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q2988071	2017-05-18	Paper
Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative	2014-08-29	Paper
The Principle of Open Induction on Cantor space and the Approximate-Fan Theorem	2014-08-11	Paper
The Fan Theorem, its strong negation, and the determinacy of games	2013-11-27	Paper
Almost the fan theorem.	2009-11-11	Paper
THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHY	2009-07-30	Paper
The problem of determinacy of infinite games from an intuitionistic point of view	2009-04-14	Paper
Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem	2009-03-12	Paper
The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective	2008-05-08	Paper
https://portal.mardi4nfdi.de/entity/Q5310896	2007-10-15	Paper
Two simple sets that are not positively Borel	2005-08-25	Paper
An intuitionistic proof of Kruskal's theorem	2004-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4552754	2003-09-16	Paper
A constructive converse of the mean value theorem	2001-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q4941995	2000-12-17	Paper
Some elementary results in intuitionistic model theory	1997-04-21	Paper
https://portal.mardi4nfdi.de/entity/Q4694225	1993-06-29	Paper
Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics	1993-01-01	Paper
Some observations on intuitionistically elementary properties of linear orderings	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3313858	1982-01-01	Paper
The continuum hypothesis in intuitionism	1981-01-01	Paper
An intuitiomstic completeness theorem for intuitionistic predicate logic	1976-01-01	Paper

Research outcomes over time

This page was built for person: Wim Veldman