Wim Veldman

Publication Activity (10 Years)

Years Active: 1976-2022
Publications (10 Years): 2

Top Topics

Propositional Logic

Structure From Motion

Clustering Algorithm

Fixed Point Theorem

Top Venues

Bull. Symb. Log.

Arch. Math. Log.

Publications

Wim Veldman
Projective sets, intuitionistically. J. Log. Anal. 14 (2022)
Wim Veldman
In Memoriam: Walter (Wouter) van Stigt (1927-2015). Bull. Symb. Log. 23 (1) (2017)
Wim Veldman
Brouwer's Fan Theorem as an axiom and as a contrast to Kleene's alternative. Arch. Math. Log. 53 (5-6) (2014)
Wim Veldman
The Fine Structure of the intuitionistic Borel Hierarchy. Rev. Symb. Log. 2 (1) (2009)
Wim Veldman
The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective. J. Symb. Log. 73 (1) (2008)
Wim Veldman
Perhaps the Intermediate Value Theorem. J. Univers. Comput. Sci. 11 (12) (2005)
Wim Veldman
Two simple sets that are not positively Borel. Ann. Pure Appl. Log. 135 (1-3) (2005)
Wim Veldman
An intuitionistic proof of Kruskal's theorem. Arch. Math. Log. 43 (2) (2004)
Wim Veldman, Frank Waaldijk
Some Elementary Results in Intuitionistic Model Theory. J. Symb. Log. 61 (3) (1996)
Wim Veldman, Michael Janssen
Some observations on intuitionistically elementary properties of linear orderings. Arch. Math. Log. 29 (3) (1990)
W. Gielen, Harrie C. M. de Swart, Wim Veldman
The Continuum Hypothesis in Intuitionism. J. Symb. Log. 46 (1) (1981)
Wim Veldman
An Intuitionistic Completeness Theorem for Intuitionistic Predicate Logic. J. Symb. Log. 41 (1) (1976)