Wim Veldman

15 papers Journal 14
YearRankTypeTitle / Venue / Authors
2025 J jnl
On some of Brouwer's Axioms.
Bull. Symb. Log.
Wim Veldman
2025 J jnl
The Fan Theorem, its strong negation, and the determinacy of games.
Arch. Math. Log.
Wim Veldman
2022 J jnl
Projective sets, intuitionistically.
J. Log. Anal.
Wim Veldman
2017 J jnl
In Memoriam: Walter (Wouter) van Stigt (1927-2015).
Bull. Symb. Log.
Wim Veldman
2014 J jnl
Brouwer's Fan Theorem as an axiom and as a contrast to Kleene's alternative.
Arch. Math. Log.
Wim Veldman
2009 J jnl
The Fine Structure of the intuitionistic Borel Hierarchy.
Rev. Symb. Log.
Wim Veldman
2009 — ch.
The Problem of Determinacy of Infinite Games from an Intuitionistic Point of View.
Games: Unifying Logic, Language, and Philosophy
Wim Veldman
2008 J jnl
The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective.
J. Symb. Log.
Wim Veldman
2005 J jnl
Perhaps the Intermediate Value Theorem.
J. Univers. Comput. Sci.
Wim Veldman
2005 J jnl
Two simple sets that are not positively Borel.
Ann. Pure Appl. Log.
Wim Veldman
2004 J jnl
An intuitionistic proof of Kruskal's theorem.
Arch. Math. Log.
Wim Veldman
1996 J jnl
Some Elementary Results in Intuitionistic Model Theory.
J. Symb. Log.
Wim Veldman, Frank Waaldijk
1990 J jnl
Some observations on intuitionistically elementary properties of linear orderings.
Arch. Math. Log.
Wim Veldman, Michael Janssen
1981 J jnl
The Continuum Hypothesis in Intuitionism.
J. Symb. Log.
W. Gielen, Harrie C. M. de Swart, Wim Veldman
1976 J jnl
An Intuitionistic Completeness Theorem for Intuitionistic Predicate Logic.
J. Symb. Log.
Wim Veldman