Wim Veldman

According to our database1, Wim Veldman authored at least 12 papers between 1976 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

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

2009
The Problem of Determinacy of Infinite Games from an Intuitionistic Point of View.
Proceedings of the Games: Unifying Logic, Language, and Philosophy, 2009

The Fine Structure of the intuitionistic Borel Hierarchy.
Rev. Symb. Log., 2009

2008
The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective.
J. Symb. Log., 2008

2005
Perhaps the Intermediate Value Theorem.
J. Univers. Comput. Sci., 2005

Two simple sets that are not positively Borel.
Ann. Pure Appl. Log., 2005

2004
An intuitionistic proof of Kruskal's theorem.
Arch. Math. Log., 2004

1996
Some Elementary Results in Intuitionistic Model Theory.
J. Symb. Log., 1996

1990
Some observations on intuitionistically elementary properties of linear orderings.
Arch. Math. Log., 1990

1981
The Continuum Hypothesis in Intuitionism.
J. Symb. Log., 1981

1976
An Intuitionistic Completeness Theorem for Intuitionistic Predicate Logic.
J. Symb. Log., 1976


  Loading...