Papers Dirk van Dalen
1. 1963.
o Extension problems in intuitionistic plane projective geometry. Dissertation. Amsterdam.
o Extension problems in intuitionistic plane projective geometry, I and II. Ind Math, 25: 349--383.
2. 1968
o A note on spread cardinals. Comp Math, 20: 21--28.
o Fans generated by nondeterministic automata. Zeitschr. f. Mathematische Logik und Grundlagen der Mathematik, 14: 273--278.
o Reducibility in Intuitionistic Topology. J Symb Logic, 33: 412--417.
3. 1970
o A note on Some Systems of Lindenmayer. Math.Systems Theory, 5: 128--140.
o Projections of Lawless Sequences. In (Eds. J. Myhill, A. Kino, R.E. Vesley) Intuitionism and Proof Theorie (Proc. Summer Conference Buffalo 1968), pages 163--186, Amsterdam. North-Holland.
4. 1971
o Independence problems in subsystems of intuitionistic arithmetic. Ind Math, 33: 448--456.
5. 1973
o Lectures on Intuitionism. In (Eds. A. Mathias, H. Rogers) Proc.Cambridge Summer Conference on Logic. SLNM 337, pages 1--94, Berlin. Springer Verlag.
o Logique et theories formelles. Nico, 15: 2--2.
6. 1974
o A model for HAS. A topological interpretation of second-order intuitionistic arithmetic with species variables. Fund. Math., 82: 167--174.
7. 1975
o Variants of Rescher's semantics for preference logic. Studia Logica, 33: 163--181. 1977
o The use of Kripke's schema as a reduction principle. J Symb Logic, 42: 238--240.
8. 1978
o An interpretation of intuitionistic analysis. Ann Math Log, 13: 1--43.
o Brouwer: The Genesis of his Intuitionism. Dialectica, 32: 291--303.
o (With R. Statman) Equality in the presence of apartness. In Hintikka et al(eds.) Essays on Mathematical and Philosophical Logic, pages 95--116, Dordrecht. Reidel.
o Interpreting Intuitionistic Logic. In (Eds. P.C. Baayen, D. van Dulst, J. Oosterhof) Proc. of Bicentennial Congress of the Wiskundig Genootschap, pages 133--148,Amsterdam. MC.
9. 1980
o La philosophie intuitioniste et ses consequences Mathématiques. Collection Phil.Math. Item Paris-Nord, 17 p.
10. 1982
o Braucht die konstruktive Mathematik Grundlagen? Jahresber. Dtsch. Math.Ver., 84: 57--78.
o Lawlessness and Independence. With J. Lodder. In (Eds. D. van Dalen, A.S. Troelstra)The L.E.J.Brouwer Centenary Symposium, pages 297--309, Amsterdam. North Holland.
o Singleton reals. In Logic Colloqium '80, pages 83--94, Amsterdam. North-Holland.
o The creative subject and Heyting's Arithmetic, pages 379--385. P.W.N.-Polish Scientific Publ., Warsaw.
11. 1983
o Algorithms and Decision Problems, In Handbook of Philosophical Logic, I (eds. D. Gabbay and F. Guenthner).pages 409--478. Reidel, Dordrecht.
12. 1984
o Four Letters from Edmund Husserl to Hermann Weyl. Husserl Studies, 1: 1--12.
o How to glue analysis models. J Symb Logic, 49: 1339--1349.
13. 1985
o Eine Bemerkung zum Aufsatz "Der Fundamentalsatz der Algebra und der Intuitionismus" von H. Kneser. Arch. Math. Logic, 25: 43--44.
o Intuitionistic Logic, In Handbook of Philosophical Logic, III eds. D. Gabbay and F. Guenthner.pages 225--340. Reidel, Dordrecht.
14. 1986
o Glueing of Analysis Models in an Intuitionistic Setting. Studia Logica, 45: 181--186.
o (with E.C.M. Krabbe, H. Mulder,A. Visser) Finite Kripke Models of HA are Locally PA. Notre Dame Journal of Formal Logic, 27: 528--532.
15. 1987
o Infinitesimals and the continuity of all functions. Nieuw Arch Wiskunde, 6: 191--202.
16. 1988
o (With F.J. de Vries) Intuitionistic Free Abelian Groups. Zeitschr. f. Mathematische Logik und Grundlagen der Mathematik, 34: 3--12.
17. 1990
o Heyting and Intuitionistic Geometry. In Petkov, P.P. (ed.), Mathematical Logic, pages 19--30, New York. Plenum Press.
o The War of the Frogs and the Mice, or the Crisis of the Mathematische Annalen. Math. Intelligencer, 12: 17--31.
18. 1991
o Brouwer's Dogma of languageless Mathematics and its role in his writings. In Significs, Mathematics and Semiotics. The Signific Movement in the Netherlands. Proceedings of the International conference held at Bonn, November 19-21, 1986.(eds. E. Heijerman and H.W. Schmitz), pages 33--44, Münster. Nodus Publikationen.
o Brouwers Intuitionismus, In H. Meschkovski, Lust an der Erkenntnis: Moderne Mathematik. Piper verlag, München. pages 353--379.
o Constructivism in Mathematics. In Constructivism in Discussion, eds. C. van Dijkum, F. Wallner, pages 6--17, Utrecht. Fac. of Social Science Press.
o Freudenthal and the Foundations of Mathematics. Nieuw Arch Wiskunde, 9: 145--162.
19. 1992
o The continuum and first-order intuitionistic logic. J Symb Logic, 57: 1417--1424.
20. 1994
o Book Review. Richard Tieszen, Mathematical Intuition: Phenomenology and Mathematical Knowledge. Husserl Studies, 10: 249--252.
o Der Grundlagenstreit zwischen Brouwer und Hilbert, pages 207--212. Heldermann Verlag, Berlin.
21. 1995
o Hermann Weyl's Intuitionistic Mathematics. Bull. Symb. Logic, 1: 145--169.
o Why Constructive Mathematics? In F.Stadler W. Depauli-Schimanovich, E. Köhler, eds., The Foundational Debate. Complexity and Constructivity in Mathematics and Physics, pages 141--158, Dordrecht. Kluwer.
22. 1996
o 'Outside' as a primitive notion in constructive projective geometry. Geometria Dedicata, 60: 107--111.
o Intuitionism - Counting its blessings, Electronic Notes in Theoretical Computer Science (Elsevier) Vol.3, 22 p.
23. 1997
o How connected is the intuitionistic continuum? J Symb Logic, 62: 1174--1150.
24. 1998
o From a Brouwerian Point of View. Philosophia Mathematica, 6: 209--226.
o L.E.J. Brouwer: The foundations of topology and the topology of the foundations. Nederl Ak Wetensch Proc, 100: 11--14.
o L.E.J. Brouwer's Intuitionism: a revolution in two installments. In Proceedings Thirteenth Annual IEEE Symposium on Logic in Computer Science. June 21-24, Indianapolis, IEEE Computer Science, pages 228--241, Los Alamitos. IEEE.
o Mystic and Mathematical Revolutionary. L.E.J. Brouwer's role in Topology and Intuitionism, In The Low Countries, Stichting Ons Erfdeel, Rekkem.
o Between Doubt and Certainty. Ethik und Sozialwissenschaften, 9, 435-436
25. 1999
o Luitzen Egbertus Jan Brouwer, In History of Topology. (ed. I. James) Elsevier, Amsterdam. 947-964
o From Brouwerian Counterexample to the Creating Subject. Studia Logia, 62. 305-314.
o The Intuitionistic Conception of Logic (Ed. A.C. Varzi), European Review of Philosophy, 4, 45-78.
o The Role of Language and Logic in Brouwer's work. In Logic in Action, (Ed. E. Orlowska). Springer, Vienna., 3-14.
26. 2000
o Brouwer and Fraenkel on Intuitionism, Bull. Ass. Symb. Logic, 6, 284-310.
o (With H.D. Ebbinghaus) Zermelo and the Skolem Paradox, Bull. Ass. Symb. Logic, 6, 145-161.
o The Development of Brouwer's Intuitionism, In Proof Theory. History and Philosophical Significance, (eds. V.F. Hendricks, S.A. Pedersen, K.F. Jörgensen) Synthese Library
27. 2001
o Intuitionistic Logic. In (Ed. L. Goble) Philosophical Logic, Blackwell, Oxford. 224-257.
o Algorithms and Decision Problems: a crash course in recursion theory, In: Gabbay, D.M., F. Guenthner, (eds.) Handbook of Philosophical Logic, vol 1 (Revised Edition), Kluwer, Dordrecht. 2001. 245-313
28. 2002
o (With M. van Atten) Intuitionism. In: A Companion to Philosophical Logic (ed. Dale Jaquette), Blackwell, Oxford. 513--530.
o Intuitionistic Logic. In (Eds. Gabbay, D.M. and F. Guenthner) Handbook of Philosophical Logic Vol. 5 (2nd ed), Kluwer, Dordrecht. 1-114.
o (With Atten, M. van, R. Tieszen) Brouwer and Weyl: the phenomenology and mathematics of the intuitive continuum, Philosophia Mathematica, 10. 203--226.
o (With M. van Atten) Arguments for the continuity principle, Bull.Symb. Logic, 8, 329-347, . 2002
29. 2003
o Commentary on Menger and Intuitionism. In Karl Menger. Selecta Mathematica, Vol. 2,
o (eds. B. Schweizer, A. Sklar, K. Sigmund, P. Gruber, E. Hlawka, L. Reich, L. Schmetterer), Springer, Vienna. 3-8.
o Ein Logiker unter den Nazis, DMV Mitteilungen, 2003, 30-31,
30. 2004
o Kolmogorov and Brouwer on constructive implication and the Ex Falso rule, Russian Math. Surveys 59, 2004. p. 247-257
o (With D. Bridges, H. Ishihara) Ishihara's proof technique in constructive analysis, Indagationes Mathematicae 14, 2004. 163-168
o What is Mathematics? Intuitionistic reflections. Issues in Contemporary Western Philosophy. Islam--West Philosophical Dialogue. The papers presented at the World Congress on Mulla Sadra (May 1999 Teheran), Eds. Ali Naqi Baqershai, Roya Khoii}, VOL. 7. Sadra Islamic Philosophy Research Institute Publication. Teheran. 2004 p. 175-190
o (With P. Hajek)(review) Gentzen's Problem. Mathematische Logik im Nationalsozialistischen Deutschland by E. Menzler-Trott, Mathematical Intelligencer, 26, . 2004. 64-65
31. 2005
o Amsterdamse Jaren. Nieuw Archief voor Wiskunde 5/6, p.287-29
32. 2006
o Intuitionistic logic. Encyclopedia of Philosophy (Borchert, Donald) Macmillan Reference USA, Detroit. 2nd edition
o (WithV. Remmert) The birth and youth of Compositio Mathematica, `Ce périodique foncièrement international'. Compositio Mathematica. 142, 1083-1102.
o The Genesis of Mathematical Objects, following Weyl and Brouwer. La Nuova Critica 48, 5-18.
2007
Snapshots from Brouwer's Universe. Contemporary Perspectives on Logicism and the Foundations of Mathematics. Traveaux de Logique (ed. Pierre Joray), 18, Centre de Recherches Sémioloques, Université de Neuchatel, 1-14.
33. 2007
o (With V. Remmert) The birth and youth of Compositio Mathematica, `Ce périodique foncièrement international'. Nieuw Archief voor Wiskunde, 8, 178-200. (reprint of 2006)
34. 2008
o Another look at Brouwer’s dissertation. In 1907-2007: one hundred years of intuitionism (Eds.Mark van Atten, Pascal Boldini, Michel Bourdeau, Gerhard Heinzmann). Birkhäuser, Basel. p.1-20.
o Lost in Philatelonia. London Mathematical Society, Newsletter. 368. 23-24.
o Nieuwe Strengheid. De wiskunde volgens Brouwer. Kunst en Wetenschap, 17. 17-18.
35. 2009
o How to constructivize Brouwer's fixed point theorem. Procedings of International Conference on Systemics, Cybernetics and Informatics (Ed. E. Rajan et al.) Pentagram Research Centre, Hyderabad. 654-656 .
o (The return of the flowing continuum. Intellectica, Revue de l'Assocation pour la Recherche Cognitive. Le continu mathématique. Nouvelles conceptions, nouveaux enjeux, 200. 135-144.
o Eds. T. Springer, D. van Dalen. Hans Freudenthal. Selecta. European Math. Soc. Zürich. pp. 653.
36. 2010
o Zermelo: een tragische held in het mathematische theater. Nieuw Archief voor Wiskunde, 5, 194-198.
o Intuïtionistische Analyse. Een constructief denkraam. Epsilon, Utrecht pp. 130.
o Eds. T. Springer, D. van Dalen. Hans Freudenthal. Selecta. European Math. Soc. Zürich. pp. 653.
37. 2011
o Brouwer's Cambridge Lectures. Cambridge University Press, Cambridge (paperback edition of 1981 ed.) pp. xii + 109 .
o The Selected Correspondence of L.E.J. Brouwer, Springer, London, pp.529.
o Companion to the The Selected Correspondence of L.E.J. Brouwer (eBook), Springer, London.
o Brouwer's epsilon fixed point theorem and Sperner's lemma. Theoretical Computer Science, 412. 3140-3144.