Dirk van Dalen

According to our database, Dirk van Dalen authored at least 21 papers between 1968 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Brouwer's ϵ-fixed point and Sperner's lemma.

Dirk van Dalen

Theor. Comput. Sci., 2011

2005

How the Mathematical Objects Determine the Mathematical Principles.

Dirk van Dalen

J. Univers. Comput. Sci., 2005

2002

Arguments for the continuity principle.

Mark van Atten, Dirk van Dalen

Bull. Symb. Log., 2002

2000

Zermelo and the Skolem paradox.

Dirk van Dalen, Heinz-Dieter Ebbinghaus

Bull. Symb. Log., 2000

Brouwer and Fraenkel on intuitionism.

Dirk van Dalen

Bull. Symb. Log., 2000

1999

From Brouwerian Counter Examples to the Creating Subject.

Dirk van Dalen

Stud Logica, 1999

1998

L. E. J. Brouwer's Intuitionism: A Revolution in Two Installments.

Dirk van Dalen

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

1997

How Connected Is the Intuitionistic Continuum?

Dirk van Dalen

J. Symb. Log., 1997

1996

Intuitionism - Counting its Blessings.

Dirk van Dalen

Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996

1995

Herman Weyl's intuitionistic mathematics.

Dirk van Dalen

Bull. Symb. Log., 1995

1994

Logic and structure (3. ed.).

Dirk van Dalen

Universitext, Springer, ISBN: 978-3-540-57839-0, 1994

1992

The Continuum and First-Order Intuitionistic Logic.

Dirk van Dalen

J. Symb. Log., 1992

1989

Logic and structure (2. ed.).

Dirk van Dalen

Universitext, Springer, ISBN: 978-3-540-12831-1, 1989

1988

Intuitionistic Free Abelian Groups.

Dirk van Dalen, Fer-Jan de Vries

Math. Log. Q., 1988

1986

Finite Kripke models of HA are locally PA.

Erik C. W. Krabbe, Hans Mulder, Albert Visser, Dirk van Dalen

Notre Dame J. Formal Log., 1986

1985

Eine Bemerkung zum Aufsatz "Der Fundamentalsatz der Algebra und der Intuitionismus" von H. Kneser.

Dirk van Dalen

Arch. Math. Log., 1985

1984

How to Glue Analysis Models.

Dirk van Dalen

J. Symb. Log., 1984

Meeting of the Association for Symbolic Logic: Florence, Italy 1982.

E. Casari, E. J. Fenstad, G. Lolli, G. Longo, Annalisa Marcja, Dirk van Dalen

J. Symb. Log., 1984

1977

The Use of Kripke's Schema as a Reduction Principle.

Dirk van Dalen

J. Symb. Log., 1977

1971

A Note on Some Systems of Lindenmayer.

Dirk van Dalen

Math. Syst. Theory, 1971

1968

Reducibilities in Intuitionistic Topology.

Dirk van Dalen

J. Symb. Log., 1968