×

zbMATH — the first resource for mathematics

van Dalen, Dirk

Compute Distance To:
Author ID: van-dalen.dirk Recent zbMATH articles by "van Dalen, Dirk"
Published as: Van Dalen, Dirk; van Dalen, D.; van Dalen, Dirk
Homepage: https://web.archive.org/web/20100328192916/http://www.phil.uu.nl/~dvdalen/
External Links: MGP · Wikidata · GND
Documents Indexed: 91 Publications since 1963, including 26 Books
Biographic References: 2 Publications

Publications by Year

Citations contained in zbMATH Open

56 Publications have been cited 790 times in 632 Documents Cited by Year
Constructivism in mathematics. An introduction. Volume I. Zbl 0653.03040
Troelstra, A. S.; van Dalen, D.
264
1988
Constructivism in mathematics. An introduction. Volume II. Zbl 0661.03047
Troelstra, A. S.; van Dalen, D.
191
1988
Intuitionistic logic. Zbl 0875.03038
van Dalen, Dirk
30
1986
Logic and structure. 4th ed. Zbl 1048.03001
van Dalen, Dirk
25
2004
An interpretation of intuitionistic analysis. Zbl 0399.03049
van Dalen, Dirk
20
1978
Brouwer’s Cambridge lectures on intuitionism. Zbl 0476.03056
van Dalen, Dirk (ed.)
19
1981
Logic and structure. 3rd, augm. ed. Zbl 0807.03001
van Dalen, Dirk
17
1994
The war of the frogs and the mice, or the crisis of the Mathematische Annalen. Zbl 0723.01006
van Dalen, D.
17
1990
A note on some systems of Lindenmayer. Zbl 0218.02031
van Dalen, Dirk
17
1971
Algorithms and decision problems: A crash course in recursion theory. Zbl 0875.03080
van Dalen, Dirk
13
1983
Logic and structure. Zbl 0434.03001
van Dalen, Dirk
13
1980
L. E. J. Brouwer. Topologist, intuitionist, philosopher. How mathematics is rooted in life. Updated revision of the two volume biography ‘Mystic, geometer, and intuitionist. The life of L. E. J. Brouwer’ published 1999 and 2005. Zbl 1255.01024
van Dalen, Dirk
9
2013
‘Outside’ as a primitive notion in constructive projective geometry. Zbl 0846.51001
van Dalen, Dirk
9
1996
Mystic, geometer, and intuitionist. The life of L. E. J. Brouwer. Volume 1: The dawning revolution. Zbl 0916.01021
Van Dalen, Dirk
8
1999
Sets: Naive, axiomatic and applied. A basic compendium with exercises for use in set theory for non-logicians, working and teaching mathematicians and students. Zbl 0407.04001
van Dalen, Dirk; Doets, H. C.; de Swart, H.
8
1978
The selected correspondence of L. E. J. Brouwer. Zbl 1225.01097
van Dalen, Dirk
7
2011
Logic and structure. 2nd print of the 2nd ed. 1983. Zbl 0714.03001
van Dalen, Dirk
7
1989
Arguments for the continuity principle. Zbl 1036.03047
van Atten, Mark; van Dalen, Dirk
6
2002
Intuitionistic logic. Zbl 1002.03053
van Dalen, Dirk
6
2001
Zermelo and the Skolem paradox. Zbl 0976.03002
van Dalen, Dirk; Ebbinghaus, Heinz-Dieter
6
2000
Computer science logic. 10th international workshop, CSL ’96. Annual conference of the EACSL, Utrecht, the Netherlands. September 21–27, 1996. Selected papers. Zbl 0868.00033
van Dalen, Dirk (ed.); Bezem, Marc (ed.)
6
1997
Heyting and intuitionistic geometry. Zbl 0770.03001
van Dalen, D.
6
1990
From Brouwerian counter examples to the creating subject. Zbl 0922.03083
van Dalen, Dirk
5
1999
Finite Kripke models of HA are locally PA. Zbl 0632.03048
van Dalen, D.; Mulder, H.; Krabbe, E. C. W.; Visser, A.
5
1986
Logic colloquium ’78. Proceedings of the colloquium held in Mons, August 1978. Zbl 0423.00001
Boffa, Maurice (ed.); van Dalen, Dirk (ed.); McAloon, Kenneth (ed.)
5
1979
The use of Kripke’s schema as a reduction principle. Zbl 0382.03042
van Dalen, Dirk
5
1977
Logic and structure. 5th revised and expanded ed. Zbl 1262.03002
van Dalen, Dirk
4
2013
Brouwer’s \(\epsilon\)-fixed point and Sperner’s lemma. Zbl 1220.03051
van Dalen, Dirk
4
2011
Ishihara’s proof technique in constructive analysis. Zbl 1075.03034
Bridges, Douglas; van Dalen, Dirk; Ishihara, Hajime
4
2003
Brouwer and Weyl: The phenomenology and mathematics of the intuitive continuum. Zbl 1032.01025
van Atten, Mark; van Dalen, Dirk; Tieszen, Richard
4
2002
Lectures on intuitionism. Zbl 0272.02035
van Dalen, Dirk
4
1973
Poincaré and Brouwer on intuition and logic. Zbl 1261.03011
van Dalen, Dirk
3
2012
Mystic, geometer, and intuitionist. The life of L. E. J. Brouwer, 1881–1966. Volume 2: Hope and disillusion. Zbl 1096.01014
van Dalen, Dirk
3
2005
Hermann Weyl’s intuitionistic mathematics. Zbl 0858.03007
van Dalen, Dirk
3
1995
The continuum and first-order intuitionistic logic. Zbl 0766.03036
van Dalen, D.
3
1992
How to glue analysis models. Zbl 0576.03038
van Dalen, D.
3
1984
Sets and integration. An outline of the development. Zbl 0274.01028
van Dalen, Dirk; Monna, A. F.
3
1972
Projections of lawless sequences. Zbl 0205.00502
van Dalen, Dirk; Troelstra, A. S.
3
1970
Extension problems in intuitionistic plane projective geometry. I. Zbl 0127.11304
van Dalen, Dirk
3
1963
Kolmogorov and Brouwer on constructive implication, and the contradiction rule. Zbl 1056.03039
van Dalen, D.
2
2003
How connected is the intuitionistic continuum? Zbl 0895.03026
van Dalen, Dirk
2
1997
Infinitesimals and the continuity of all functions. Zbl 0669.26010
van Dalen, D.
2
1988
The L. E. J. Brouwer Centenary Symposium. Proceedings of the Conference held in Noordwijkerhout, 8–13 June, 1981. Zbl 0505.00008
Troelstra, A. S. (ed.); van Dalen, Dirk (ed.)
2
1982
Extension problems in intuitionistic plane projective geometry. II. Zbl 0132.40602
van Dalen, Dirk
2
1963
Snapshots of Brouwer’s life and work. Zbl 1364.01048
van Dalen, Dirk
1
2016
The revolution of 1907 – Brouwer’s dissertation. Zbl 1198.01023
van Dalen, Dirk
1
2010
Brouwer and Fraenkel on intuitionism. Zbl 0969.03002
van Dalen, Dirk
1
2000
The intuitionistic conceptions of logic. Zbl 0995.03004
van Dalen, Dirk
1
1999
Intuitionistic free Abelian groups. Zbl 0617.20030
van Dalen, D.; de Vries, F. J.
1
1988
Glueing of analysis models in an intuitionistic setting. Zbl 0637.03059
van Dalen, D.
1
1986
Braucht die konstruktive Mathematik Grundlagen? Zbl 0523.03004
van Dalen, Dirk
1
1982
Interpreting intuitionistic logic. Zbl 0418.03038
van Dalen, Dirk
1
1979
A model for HAS. A topological interpretation of the theory of species of natural numbers. Zbl 0299.02038
van Dalen, Dirk
1
1974
Variants of Rescher’s semantics for preference logic and some completeness theorems. Zbl 0291.02018
van Dalen, Dirk
1
1974
Independence problem in subsystems of intuitionistic arithmetic. Zbl 0229.02030
van Dalen, Dirk; Gordon, C. E.
1
1971
Fans generated by nondeterministic automata. Zbl 0165.30404
van Dalen, Dirk
1
1968
Snapshots of Brouwer’s life and work. Zbl 1364.01048
van Dalen, Dirk
1
2016
L. E. J. Brouwer. Topologist, intuitionist, philosopher. How mathematics is rooted in life. Updated revision of the two volume biography ‘Mystic, geometer, and intuitionist. The life of L. E. J. Brouwer’ published 1999 and 2005. Zbl 1255.01024
van Dalen, Dirk
9
2013
Logic and structure. 5th revised and expanded ed. Zbl 1262.03002
van Dalen, Dirk
4
2013
Poincaré and Brouwer on intuition and logic. Zbl 1261.03011
van Dalen, Dirk
3
2012
The selected correspondence of L. E. J. Brouwer. Zbl 1225.01097
van Dalen, Dirk
7
2011
Brouwer’s \(\epsilon\)-fixed point and Sperner’s lemma. Zbl 1220.03051
van Dalen, Dirk
4
2011
The revolution of 1907 – Brouwer’s dissertation. Zbl 1198.01023
van Dalen, Dirk
1
2010
Mystic, geometer, and intuitionist. The life of L. E. J. Brouwer, 1881–1966. Volume 2: Hope and disillusion. Zbl 1096.01014
van Dalen, Dirk
3
2005
Logic and structure. 4th ed. Zbl 1048.03001
van Dalen, Dirk
25
2004
Ishihara’s proof technique in constructive analysis. Zbl 1075.03034
Bridges, Douglas; van Dalen, Dirk; Ishihara, Hajime
4
2003
Kolmogorov and Brouwer on constructive implication, and the contradiction rule. Zbl 1056.03039
van Dalen, D.
2
2003
Arguments for the continuity principle. Zbl 1036.03047
van Atten, Mark; van Dalen, Dirk
6
2002
Brouwer and Weyl: The phenomenology and mathematics of the intuitive continuum. Zbl 1032.01025
van Atten, Mark; van Dalen, Dirk; Tieszen, Richard
4
2002
Intuitionistic logic. Zbl 1002.03053
van Dalen, Dirk
6
2001
Zermelo and the Skolem paradox. Zbl 0976.03002
van Dalen, Dirk; Ebbinghaus, Heinz-Dieter
6
2000
Brouwer and Fraenkel on intuitionism. Zbl 0969.03002
van Dalen, Dirk
1
2000
Mystic, geometer, and intuitionist. The life of L. E. J. Brouwer. Volume 1: The dawning revolution. Zbl 0916.01021
Van Dalen, Dirk
8
1999
From Brouwerian counter examples to the creating subject. Zbl 0922.03083
van Dalen, Dirk
5
1999
The intuitionistic conceptions of logic. Zbl 0995.03004
van Dalen, Dirk
1
1999
Computer science logic. 10th international workshop, CSL ’96. Annual conference of the EACSL, Utrecht, the Netherlands. September 21–27, 1996. Selected papers. Zbl 0868.00033
van Dalen, Dirk (ed.); Bezem, Marc (ed.)
6
1997
How connected is the intuitionistic continuum? Zbl 0895.03026
van Dalen, Dirk
2
1997
‘Outside’ as a primitive notion in constructive projective geometry. Zbl 0846.51001
van Dalen, Dirk
9
1996
Hermann Weyl’s intuitionistic mathematics. Zbl 0858.03007
van Dalen, Dirk
3
1995
Logic and structure. 3rd, augm. ed. Zbl 0807.03001
van Dalen, Dirk
17
1994
The continuum and first-order intuitionistic logic. Zbl 0766.03036
van Dalen, D.
3
1992
The war of the frogs and the mice, or the crisis of the Mathematische Annalen. Zbl 0723.01006
van Dalen, D.
17
1990
Heyting and intuitionistic geometry. Zbl 0770.03001
van Dalen, D.
6
1990
Logic and structure. 2nd print of the 2nd ed. 1983. Zbl 0714.03001
van Dalen, Dirk
7
1989
Constructivism in mathematics. An introduction. Volume I. Zbl 0653.03040
Troelstra, A. S.; van Dalen, D.
264
1988
Constructivism in mathematics. An introduction. Volume II. Zbl 0661.03047
Troelstra, A. S.; van Dalen, D.
191
1988
Infinitesimals and the continuity of all functions. Zbl 0669.26010
van Dalen, D.
2
1988
Intuitionistic free Abelian groups. Zbl 0617.20030
van Dalen, D.; de Vries, F. J.
1
1988
Intuitionistic logic. Zbl 0875.03038
van Dalen, Dirk
30
1986
Finite Kripke models of HA are locally PA. Zbl 0632.03048
van Dalen, D.; Mulder, H.; Krabbe, E. C. W.; Visser, A.
5
1986
Glueing of analysis models in an intuitionistic setting. Zbl 0637.03059
van Dalen, D.
1
1986
How to glue analysis models. Zbl 0576.03038
van Dalen, D.
3
1984
Algorithms and decision problems: A crash course in recursion theory. Zbl 0875.03080
van Dalen, Dirk
13
1983
The L. E. J. Brouwer Centenary Symposium. Proceedings of the Conference held in Noordwijkerhout, 8–13 June, 1981. Zbl 0505.00008
Troelstra, A. S. (ed.); van Dalen, Dirk (ed.)
2
1982
Braucht die konstruktive Mathematik Grundlagen? Zbl 0523.03004
van Dalen, Dirk
1
1982
Brouwer’s Cambridge lectures on intuitionism. Zbl 0476.03056
van Dalen, Dirk (ed.)
19
1981
Logic and structure. Zbl 0434.03001
van Dalen, Dirk
13
1980
Logic colloquium ’78. Proceedings of the colloquium held in Mons, August 1978. Zbl 0423.00001
Boffa, Maurice (ed.); van Dalen, Dirk (ed.); McAloon, Kenneth (ed.)
5
1979
Interpreting intuitionistic logic. Zbl 0418.03038
van Dalen, Dirk
1
1979
An interpretation of intuitionistic analysis. Zbl 0399.03049
van Dalen, Dirk
20
1978
Sets: Naive, axiomatic and applied. A basic compendium with exercises for use in set theory for non-logicians, working and teaching mathematicians and students. Zbl 0407.04001
van Dalen, Dirk; Doets, H. C.; de Swart, H.
8
1978
The use of Kripke’s schema as a reduction principle. Zbl 0382.03042
van Dalen, Dirk
5
1977
A model for HAS. A topological interpretation of the theory of species of natural numbers. Zbl 0299.02038
van Dalen, Dirk
1
1974
Variants of Rescher’s semantics for preference logic and some completeness theorems. Zbl 0291.02018
van Dalen, Dirk
1
1974
Lectures on intuitionism. Zbl 0272.02035
van Dalen, Dirk
4
1973
Sets and integration. An outline of the development. Zbl 0274.01028
van Dalen, Dirk; Monna, A. F.
3
1972
A note on some systems of Lindenmayer. Zbl 0218.02031
van Dalen, Dirk
17
1971
Independence problem in subsystems of intuitionistic arithmetic. Zbl 0229.02030
van Dalen, Dirk; Gordon, C. E.
1
1971
Projections of lawless sequences. Zbl 0205.00502
van Dalen, Dirk; Troelstra, A. S.
3
1970
Fans generated by nondeterministic automata. Zbl 0165.30404
van Dalen, Dirk
1
1968
Extension problems in intuitionistic plane projective geometry. I. Zbl 0127.11304
van Dalen, Dirk
3
1963
Extension problems in intuitionistic plane projective geometry. II. Zbl 0132.40602
van Dalen, Dirk
2
1963
all top 5

Cited by 564 Authors

29 Bridges, Douglas Suth
24 Ishihara, Hajime
12 Jäger, Gerhard
11 Ardeshir, Mohammad
11 Schuster, Peter Michael
10 Rathjen, Michael
10 Strahm, Thomas
10 van Dalen, Dirk
10 Vîţă, Luminiţa Simona
9 Lubarsky, Robert S.
9 Rozenberg, Grzegorz
8 Moschovakis, Joan Rand
8 Osorio, Mauricio A.
7 Moniri, Morteza
7 Van den Berg, Benno
6 Artemov, Sergei
6 Baaz, Matthias
6 Iemhoff, Rosalie
6 McCarty, Charles
6 Richman, Fred
6 Visser, Albert
5 Avigad, Jeremy
5 Carballido, José Luis
5 de Jongh, Dick H. J.
5 Kawai, Tatsuji
5 Kohlenbach, Ulrich Wilhelm
5 Nemoto, Takako
5 Palmgren, Erik
5 Sanders, Sam
4 Berger, Josef
4 Bezhanishvili, Nick
4 Bickford, Mark
4 Coquand, Thierry
4 Franchella, Miriam
4 Fujiwara, Makoto
4 Grattan-Guinness, Ivor
4 Klop, Jan Willem
4 Lee, Kwok Ping
4 Mendler, Michael
4 Moerdijk, Ieke
4 Nerode, Anil
4 Ramezanian, Rasoul
4 Romano, Daniel Abraham
4 van Benthem, Johan F. A. K.
4 Veldman, Wim
4 Zepeda, Claudia
3 Arrazola Ramírez, José Ramón Enrique
3 Atanassov, Krassimir Todorov
3 Bauer, Andrej
3 Berger, Ulrich
3 Braüner, Torben
3 Cantini, Andrea
3 Constable, Robert Lee
3 Dean, Walter
3 Ebbinghaus, Heinz-Dieter
3 Feferman, Solomon
3 Gaspar, Jaime
3 Herbelin, Hugo
3 Herman, Gabor T.
3 Kahle, Reinhard
3 Kamide, Norihiro
3 Krivtsov, Victor N.
3 Lipton, James B.
3 Maietti, Maria Emilia
3 Mandelkern, Mark
3 Masini, Andrea
3 Mints, Grigoriĭ Efroimovich
3 Nieves, Juan Carlos
3 Prawitz, Dag
3 Sambin, Giovanni
3 Scowcroft, Philip
3 Siegmund-Schultze, Reinhard
3 Spitters, Bas
3 Streicher, Thomas
3 Studer, Thomas
3 Tanaka, Yasuhito
3 Troelstra, Anne Sjerp
3 van Atten, Mark
3 van Oosten, Jaap
3 von Plato, Jan
3 Wansing, Heinrich Theodor
2 Aschieri, Federico
2 Awodey, Steve
2 Bagheri, Seyed Mohammad
2 Baroni, Marian Alexandru
2 Beeson, Michael J.
2 Briseid, Eyvind Martol
2 Chiffi, Daniele
2 Ciardelli, Ivano A.
2 Crvenković, Siniša
2 Curi, Giovanni
2 Di Gianantonio, Pietro
2 Došen, Kosta
2 Ehrenfeucht, Andrzej
2 Ferreira, Fernando
2 Gabbay, Dov M.
2 Gallier, Jean H.
2 Garner, Richard
2 Goudsmit, Jeroen P.
2 Hansson, Sven Ove
...and 464 more Authors
all top 5

Cited in 100 Serials

98 Annals of Pure and Applied Logic
50 The Journal of Symbolic Logic
40 Theoretical Computer Science
39 Archive for Mathematical Logic
30 Studia Logica
28 Indagationes Mathematicae. New Series
26 Mathematical Logic Quarterly (MLQ)
20 Journal of Philosophical Logic
19 Notre Dame Journal of Formal Logic
13 History and Philosophy of Logic
12 Information and Computation
11 The Bulletin of Symbolic Logic
10 Journal of Applied Logic
9 Synthese
9 Historia Mathematica
9 The Review of Symbolic Logic
7 MSCS. Mathematical Structures in Computer Science
7 Annals of Mathematics and Artificial Intelligence
6 Journal of Logic, Language and Information
5 The Mathematical Intelligencer
5 Logica Universalis
5 Logical Methods in Computer Science
4 Artificial Intelligence
4 International Journal of Theoretical Physics
4 Proceedings of the American Mathematical Society
4 Journal of Automated Reasoning
3 Acta Informatica
3 Journal of Computer and System Sciences
3 Bulletin of the Section of Logic
3 Journal of Complexity
3 International Journal of Computer Mathematics
3 Journal of Applied Non-Classical Logics
3 Topoi
2 Communications in Mathematical Physics
2 Discrete Mathematics
2 Mathematical Proceedings of the Cambridge Philosophical Society
2 Mathematische Semesterberichte
2 Compositio Mathematica
2 Fuzzy Sets and Systems
2 International Journal of Computer & Information Sciences
2 Journal of Approximation Theory
2 Journal of Pure and Applied Algebra
2 Journal of Soviet Mathematics
2 Semigroup Forum
2 Erkenntnis
2 The Journal of Logic and Algebraic Programming
2 Logic and Logical Philosophy
2 Foundations of Physics
2 Sarajevo Journal of Mathematics
2 ISRN Computational Mathematics
1 Archive for History of Exact Sciences
1 International Journal of Systems Science
1 Information Processing Letters
1 Mathematical Notes
1 Beiträge zur Algebra und Geometrie
1 Advances in Mathematics
1 Information Sciences
1 Journal of Combinatorial Theory. Series B
1 Journal of Differential Equations
1 Journal of Functional Analysis
1 Journal of Geometry
1 Journal of Mathematical Economics
1 Journal of Statistical Planning and Inference
1 Mathematical Systems Theory
1 Theory and Decision
1 Tohoku Mathematical Journal. Second Series
1 Transactions of the American Mathematical Society
1 Mathematical Social Sciences
1 Journal of Symbolic Computation
1 Journal of Computer Science and Technology
1 International Journal of Approximate Reasoning
1 Journal of the American Mathematical Society
1 Formal Aspects of Computing
1 Annals of Operations Research
1 Games and Economic Behavior
1 European Journal of Operational Research
1 Linear Algebra and its Applications
1 Pattern Recognition
1 Bulletin of the American Mathematical Society. New Series
1 Computational Complexity
1 The Journal of Artificial Intelligence Research (JAIR)
1 Discrete and Continuous Dynamical Systems
1 Soft Computing
1 NTM. Neue Serie
1 Higher-Order and Symbolic Computation
1 LMS Journal of Computation and Mathematics
1 Foundations of Science
1 Journal of Mathematical Logic
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 Theory and Practice of Logic Programming
1 New Mathematics and Natural Computation
1 Mathematics in Computer Science
1 Logic and Analysis
1 Asian-European Journal of Mathematics
1 Algorithms
1 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics
1 Axiomathes
1 ISRN Applied Mathematics
1 Research in the Mathematical Sciences
1 European Journal of Mathematics
all top 5

Cited in 40 Fields

536 Mathematical logic and foundations (03-XX)
124 Computer science (68-XX)
45 History and biography (01-XX)
27 General topology (54-XX)
25 Category theory; homological algebra (18-XX)
24 General and overarching topics; collections (00-XX)
20 Functional analysis (46-XX)
19 Real functions (26-XX)
16 Order, lattices, ordered algebraic structures (06-XX)
15 Geometry (51-XX)
12 Quantum theory (81-XX)
12 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
9 Operator theory (47-XX)
5 Group theory and generalizations (20-XX)
4 Dynamical systems and ergodic theory (37-XX)
4 Algebraic topology (55-XX)
4 Biology and other natural sciences (92-XX)
3 General algebraic systems (08-XX)
3 Number theory (11-XX)
3 Measure and integration (28-XX)
3 Differential geometry (53-XX)
3 Relativity and gravitational theory (83-XX)
2 Combinatorics (05-XX)
2 Commutative algebra (13-XX)
2 Probability theory and stochastic processes (60-XX)
2 Statistics (62-XX)
2 Systems theory; control (93-XX)
2 Mathematics education (97-XX)
1 Field theory and polynomials (12-XX)
1 Algebraic geometry (14-XX)
1 Linear and multilinear algebra; matrix theory (15-XX)
1 Functions of a complex variable (30-XX)
1 Special functions (33-XX)
1 Ordinary differential equations (34-XX)
1 Partial differential equations (35-XX)
1 Sequences, series, summability (40-XX)
1 Approximations and expansions (41-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Global analysis, analysis on manifolds (58-XX)
1 Operations research, mathematical programming (90-XX)

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.