| Publication | Date of Publication | Type |
|---|
Projective sets, intuitionistically
Journal of Logic and Analysis | 2023-08-10 | Paper |
On some of Brouwer's axioms
| 2022-02-12 | Paper |
Intuitionism: an inspiration?
Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) | 2022-01-12 | Paper |
scientific article; zbMATH DE number 7377979 (Why is no real title available?)
| 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
Philosophia Mathematica | 2020-09-30 | Paper |
Retracing Cantor's first steps in Brouwer's company
Indagationes Mathematicae. New Series | 2018-01-12 | Paper |
IN MEMORIAM: WALTER (WOUTER) VAN STIGT (1927–2015)
The Bulletin of Symbolic Logic | 2017-07-21 | Paper |
scientific article; zbMATH DE number 6720717 (Why is no real title available?)
| 2017-05-18 | Paper |
Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
Archive for Mathematical Logic | 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
The Review of Symbolic Logic | 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
Synthese Library | 2009-03-12 | Paper |
The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective
Journal of Symbolic Logic | 2008-05-08 | Paper |
scientific article; zbMATH DE number 5200731 (Why is no real title available?)
| 2007-10-15 | Paper |
Two simple sets that are not positively Borel
Annals of Pure and Applied Logic | 2005-08-25 | Paper |
An intuitionistic proof of Kruskal's theorem
Archive for Mathematical Logic | 2004-09-22 | Paper |
scientific article; zbMATH DE number 1795233 (Why is no real title available?)
| 2003-09-16 | Paper |
A constructive converse of the mean value theorem
Indagationes Mathematicae. New Series | 2001-06-28 | Paper |
scientific article; zbMATH DE number 1418440 (Why is no real title available?)
| 2000-12-17 | Paper |
Some elementary results in intuitionistic model theory
Journal of Symbolic Logic | 1997-04-21 | Paper |
scientific article; zbMATH DE number 218510 (Why is no real title available?)
| 1993-06-29 | Paper |
Ramsey's Theorem and the Pigeonhole Principle in Intuitionistic Mathematics
Journal of the London Mathematical Society | 1993-01-01 | Paper |
Some observations on intuitionistically elementary properties of linear orderings
Archive for Mathematical Logic | 1990-01-01 | Paper |
scientific article; zbMATH DE number 3843743 (Why is no real title available?)
| 1982-01-01 | Paper |
The continuum hypothesis in intuitionism
Journal of Symbolic Logic | 1981-01-01 | Paper |
An intuitiomstic completeness theorem for intuitionistic predicate logic
Journal of Symbolic Logic | 1976-01-01 | Paper |
