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
https://portal.mardi4nfdi.de/entity/Q3643322	2009-11-11	Paper
THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHY	2009-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q3620032	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Wim Veldman