Dirk van Dalen
Original record- Institution
- Universiteit van Amsterdam
- Year
- 1963
- Country
- Netherlands
- MGP identifier
- 45022
Dissertation: Extension Problems in Intuitionistic Plane Projective Geometry
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Arend HeytingUniversiteit van Amsterdam · 1925
Students 24
| Name | Institution | Year | Students |
|---|---|---|---|
| Hendrik Pieter Barendregt | Universiteit Utrecht | 1971 | 35 |
| Johannes (Jan) Aldert Bergstra | Universiteit Utrecht | 1976 | 43 |
| Marcus Aloysius Bezem | Universiteit Utrecht | 1986 | 7 |
| Sjoerd Erik Crans | Universiteit Utrecht | 1995 | 0 |
| Fer-Jan de Vries | Universiteit Utrecht | 1989 | 1 |
| Anneke Hakkenberg | Universiteit van Amsterdam | 1992 | 0 |
| Dennis Edwin Hesseling | Universiteit Utrecht | 1999 | 0 |
| Catholijn M. Jonker | Universiteit Utrecht | 1994 | 26 |
| Marc Daniël Jumelet | Universiteit Utrecht | 1995 | 0 |
| Jan Willem Klop | Universiteit Utrecht | 1980 | 13 |
| Christiaan Peter Jozef Koymans | Universiteit Utrecht | 1984 | 1 |
| Johannes John Carel Kuiper | Universiteit Utrecht | 2004 | 0 |
| Dusko Pavlovic | Universiteit Utrecht | 1990 | 0 |
| Dorothea Ariette Pronk | Universiteit Utrecht | 1995 | 2 |
| Adrian Rezus | Universiteit Utrecht | 1981 | 0 |
| Wim (Willem) Bastiaan Gijsbertus Ruitenburg | Universiteit Utrecht | 1982 | 3 |
| Johannes Gerardus Springintveld | Universiteit Utrecht | 1994 | 0 |
| Jan Terlouw | Universiteit Utrecht | 1986 | 0 |
| Markus Sebastiaan Paul Rogier van Atten | Universiteit Utrecht | 1999 | 1 |
| Lou P. van den Dries | Universiteit Utrecht | 1978 | 20 |
| Jan van Leeuwen | Universiteit Utrecht | 1972 | 39 |
| Theodoor van Willigenburg | Universiteit Utrecht | 1991 | 0 |
| Albert Visser | Universiteit Utrecht | 1981 | 15 |
| Frans Voorbraak | Universiteit Utrecht | 1993 | 1 |