An Intuitionistic Completeness Theorem for Intuitionistic Predicate Logic. - Wim Veldman (J. Symb. Log., 1976)

The Continuum Hypothesis in Intuitionism. - W. Gielen; Harrie C. M. de Swart; Wim Veldman (J. Symb. Log., 1981)

Some observations on intuitionistically elementary properties of linear orderings. - Wim Veldman; Michael Janssen (Arch. Math. Log., 1990)

Some Elementary Results in Intuitionistic Model Theory. - Wim Veldman; Frank Waaldijk (J. Symb. Log., 1996)

An intuitionistic proof of Kruskal's theorem. - Wim Veldman (Arch. Math. Log., 2004)

Two simple sets that are not positively Borel. - Wim Veldman (Ann. Pure Appl. Log., 2005)

Perhaps the Intermediate Value Theorem. - Wim Veldman (J. Univers. Comput. Sci., 2005)

The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective. - Wim Veldman (J. Symb. Log., 2008)

The Fine Structure of the intuitionistic Borel Hierarchy. - Wim Veldman (Rev. Symb. Log., 2009)

The Problem of Determinacy of Infinite Games from an Intuitionistic Point of View. - Wim Veldman (Games: Unifying Logic, Language, and Philosophy, 2009)

Brouwer's Fan Theorem as an axiom and as a contrast to Kleene's alternative. - Wim Veldman (Arch. Math. Log., 2014)

In Memoriam: Walter (Wouter) van Stigt (1927-2015). - Wim Veldman (Bull. Symb. Log., 2017)

Projective sets, intuitionistically. - Wim Veldman (J. Log. Anal., 2022)

On some of Brouwer's Axioms. - Wim Veldman (Bull. Symb. Log., 2025)

The Fan Theorem, its strong negation, and the determinacy of games. - Wim Veldman (Arch. Math. Log., 2025)