| |
| 2005 | ||
|---|---|---|
| 6 | EE | Wim Veldman: Two simple sets that are not positively Borel. Ann. Pure Appl. Logic 135(1-3): 151-209 (2005) |
| 5 | EE | Wim Veldman: Perhaps the Intermediate Value Theorem. J. UCS 11(12): 2142-2158 (2005) |
| 2004 | ||
| 4 | EE | Wim Veldman: An intuitionistic proof of Kruskal's theorem. Arch. Math. Log. 43(2): 215-264 (2004) |
| 1996 | ||
| 3 | Wim Veldman, Frank Waaldijk: Some Elementary Results in Intuitionistic Model Theory. J. Symb. Log. 61(3): 745-767 (1996) | |
| 1981 | ||
| 2 | W. Gielen, Harrie C. M. de Swart, Wim Veldman: The Continuum Hypothesis in Intuitionism. J. Symb. Log. 46(1): 121-136 (1981) | |
| 1976 | ||
| 1 | Wim Veldman: An Intuitionistic Completeness Theorem for Intuitionistic Predicate Logic. J. Symb. Log. 41(1): 159-166 (1976) | |
| 1 | W. Gielen | [2] |
| 2 | Harrie C. M. de Swart | [2] |
| 3 | Frank Waaldijk | [3] |