Wim Veldman

According to our database, Wim Veldman authored at least 13 papers between 1976 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Projective sets, intuitionistically.

Wim Veldman

J. Log. Anal., 2022

2017

In Memoriam: Walter (Wouter) van Stigt (1927-2015).

Wim Veldman

Bull. Symb. Log., 2017

2014

Brouwer's Fan Theorem as an axiom and as a contrast to Kleene's alternative.

Wim Veldman

Arch. Math. Log., 2014

2009

The Problem of Determinacy of Infinite Games from an Intuitionistic Point of View.

Wim Veldman

Proceedings of the Games: Unifying Logic, Language, and Philosophy, 2009

The Fine Structure of the intuitionistic Borel Hierarchy.

Wim Veldman

Rev. Symb. Log., 2009

2008

The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective.

Wim Veldman

J. Symb. Log., 2008

2005

Perhaps the Intermediate Value Theorem.

Wim Veldman

J. Univers. Comput. Sci., 2005

Two simple sets that are not positively Borel.

Wim Veldman

Ann. Pure Appl. Log., 2005

2004

An intuitionistic proof of Kruskal's theorem.

Wim Veldman

Arch. Math. Log., 2004

1996

Some Elementary Results in Intuitionistic Model Theory.

Wim Veldman, Frank Waaldijk

J. Symb. Log., 1996

1990

Some observations on intuitionistically elementary properties of linear orderings.

Wim Veldman, Michael Janssen

Arch. Math. Log., 1990

1981

The Continuum Hypothesis in Intuitionism.

W. Gielen, Harrie C. M. de Swart, Wim Veldman

J. Symb. Log., 1981

1976

An Intuitionistic Completeness Theorem for Intuitionistic Predicate Logic.

Wim Veldman

J. Symb. Log., 1976