Dirk van Dalen

Publication Activity (10 Years)

Years Active: 1968-2011
Publications (10 Years): 0

Publications

Dirk van Dalen
Brouwer's ϵ-fixed point and Sperner's lemma. Theor. Comput. Sci. 412 (28) (2011)
Dirk van Dalen
How the Mathematical Objects Determine the Mathematical Principles. J. Univers. Comput. Sci. 11 (12) (2005)
Mark van Atten, Dirk van Dalen
Arguments for the continuity principle. Bull. Symb. Log. 8 (3) (2002)
Dirk van Dalen
Brouwer and Fraenkel on intuitionism. Bull. Symb. Log. 6 (3) (2000)
Dirk van Dalen, Heinz-Dieter Ebbinghaus
Zermelo and the Skolem paradox. Bull. Symb. Log. 6 (2) (2000)
Dirk van Dalen
From Brouwerian Counter Examples to the Creating Subject. Stud Logica 62 (2) (1999)
Dirk van Dalen
L. E. J. Brouwer's Intuitionism: A Revolution in Two Installments. LICS (1998)
Dirk van Dalen
How Connected Is the Intuitionistic Continuum? J. Symb. Log. 62 (4) (1997)
Dirk van Dalen
Intuitionism - Counting its Blessings. Electron. Notes Theor. Comput. Sci. 3 (1996)
Dirk van Dalen
Herman Weyl's intuitionistic mathematics. Bull. Symb. Log. 1 (2) (1995)
Dirk van Dalen
The Continuum and First-Order Intuitionistic Logic. J. Symb. Log. 57 (4) (1992)
Dirk van Dalen, Fer-Jan de Vries
Intuitionistic Free Abelian Groups. Math. Log. Q. 34 (1) (1988)
Erik C. W. Krabbe, Hans Mulder, Albert Visser, Dirk van Dalen
Finite Kripke models of HA are locally PA. Notre Dame J. Formal Log. 27 (4) (1986)
Dirk van Dalen
Eine Bemerkung zum Aufsatz "Der Fundamentalsatz der Algebra und der Intuitionismus" von H. Kneser. Arch. Math. Log. 25 (1) (1985)
Dirk van Dalen
How to Glue Analysis Models. J. Symb. Log. 49 (4) (1984)
E. Casari, E. J. Fenstad, G. Lolli, G. Longo, Annalisa Marcja, Dirk van Dalen
Meeting of the Association for Symbolic Logic: Florence, Italy 1982. J. Symb. Log. 49 (2) (1984)
Dirk van Dalen
The Use of Kripke's Schema as a Reduction Principle. J. Symb. Log. 42 (2) (1977)
Dirk van Dalen
A Note on Some Systems of Lindenmayer. Math. Syst. Theory 5 (2) (1971)
Dirk van Dalen
Reducibilities in Intuitionistic Topology. J. Symb. Log. 33 (3) (1968)