Dirk van Dalen - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 21 from 21

2011

Brouwer s ϵ-fixed point and Sperner s lemmaDirk van Dalen. TCS, 412(28):3140-3144, 2011. [doi]

2005

How the Mathematical Objects Determine the Mathematical PrinciplesDirk van Dalen. jucs, 11(12):2132-2141, 2005. [doi]

2002

Arguments for the continuity principleMark van Atten, Dirk van Dalen. bsl, 8(3):329-347, 2002. [doi]

2000

Brouwer and Fraenkel on intuitionismDirk van Dalen. bsl, 3(3):284-310, 2000. [doi]

Zermelo and the Skolem paradoxDirk van Dalen, Heinz-Dieter Ebbinghaus. bsl, 6(2):145-161, 2000. [doi]

1999

From Brouwerian Counter Examples to the Creating SubjectDirk van Dalen. sLogica, 62(2):305-314, 1999.

1998

L. E. J. Brouwer s Intuitionism: A Revolution in Two InstallmentsDirk van Dalen. lics 1998: 228-241

1997

How Connected Is the Intuitionistic Continuum?Dirk van Dalen. JSYML, 62(4):1147-1150, 1997.

1996

Intuitionism - Counting its BlessingsDirk van Dalen. ENTCS, 3:39, 1996. [doi]

1995

Herman Weyl s intuitionistic mathematicsDirk van Dalen. bsl, 1(2):145-169, 1995. [doi]

1994

Logic and structure (3. ed.)Dirk van Dalen. Universitext, Springer, 1994.

1992

The Continuum and First-Order Intuitionistic LogicDirk van Dalen. JSYML, 57(4):1417-1424, 1992.

1989

Logic and structure (2. ed.)Dirk van Dalen. Universitext, Springer, 1989.

1988

Intuitionistic Free Abelian GroupsDirk van Dalen, Fer-Jan de Vries. mlq, 34(1):3-12, 1988. [doi]

1986

Finite Kripke models of HA are locally PAErik C. W. Krabbe, Hans Mulder, Albert Visser, Dirk van Dalen. ndjfl, 27(4):528-532, 1986. [doi]

1985

Eine Bemerkung zum Aufsatz "Der Fundamentalsatz der Algebra und der Intuitionismus" von H. KneserDirk van Dalen. AML, 25(1):43-44, 1985. [doi]

1984

Meeting of the Association for Symbolic Logic: Florence, Italy 1982E. Casari, E. J. Fenstad, G. Lolli, G. Longo, Annalisa Marcja, Dirk van Dalen. JSYML, 49(2):683-710, 1984.

How to Glue Analysis ModelsDirk van Dalen. JSYML, 49(4):1339-1349, 1984.

1977

The Use of Kripke s Schema as a Reduction PrincipleDirk van Dalen. JSYML, 42(2):238-240, 1977.

1971

A Note on Some Systems of LindenmayerDirk van Dalen. mst, 5(2):128-140, 1971.

1968

Reducibilities in Intuitionistic TopologyDirk van Dalen. JSYML, 33(3):412-417, 1968.

Sign in or sign up to see more results.

runs on WebDSL