Dirk van Dalen

MathSciNet


Ph.D. Universiteit van Amsterdam 1963 Netherlands
Dissertation: Extension Problems in Intuitionistic Plane Projective Geometry
Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor: Arend Heyting

Students:
Click here to see the students listed in chronological order.

NameSchoolYearDescendants
Barendregt, HendrikUniversiteit Utrecht197188
Bergstra, JohannesUniversiteit Utrecht1976139
Bezem, MarcusUniversiteit Utrecht198614
Crans, SjoerdUniversiteit Utrecht1995
de Vries, Fer-JanUniversiteit Utrecht1989
Hesseling, DennisUniversiteit Utrecht1999
Jonker, CatholijnUniversiteit Utrecht19942
Jumelet, MarcUniversiteit Utrecht1995
Klop, Jan WillemUniversiteit Utrecht198015
Koymans, ChristiaanUniversiteit Utrecht19841
Kuiper, JohannesUniversiteit Utrecht2004
Pavlovic, DuskoUniversiteit Utrecht1990
Pronk, DorotheaUniversiteit Utrecht19951
Rezus, AdrianUniversiteit Utrecht1981
Ruitenburg, WimUniversiteit Utrecht198215
Springintveld, JohannesUniversiteit Utrecht1994
Terlouw, JanUniversiteit Utrecht1986
van Atten, Markus Sebastiaan Paul RogierUniversiteit Utrecht1999
van den Dries, LouUniversiteit Utrecht197820
van Leeuwen, JanUniversiteit Utrecht197298
Visser, AlbertUniversiteit Utrecht198115
Voorbraak, FransUniversiteit Utrecht1993

According to our current on-line database, Dirk van Dalen has 22 students and 392 descendants.
We welcome any additional information.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 45022 for the advisor ID.