Searching for authors named "Wim Veldman" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
On The Persistent Difficulty Of Disjunction
- … OF DISJUNCTION Wim Veldman Report No. 0018 (JUNE 2000) DEPARTMENT OF MATHEMATICS UNIVERSITY OF NIJMEGEN…
- Add To MetaCart
-
Understanding And Using Brouwer's Continuity Principle
- …'S CONTINUITY PRINCIPLE Wim Veldman Report No. 0008 (March 2000) DEPARTMENT OF MATHEMATICS UNIVERSITY…
- Cited by 3 (2 self) – Add To MetaCart
-
Ramsey's theorem and the pigeonhole principle in intuitionistic mathematics
- …RAMSEY'S THEOREM AND THE PIGEONHOLE PRINCIPLE IN INTUITIONISTIC MATHEMATICS WIM VELDMAN AND MARC…
- Cited by 6 (1 self) – Add To MetaCart
-
An intuitionistic proof of Kruskal's Theorem
- …'s Theorem Wim Veldman Report No. 0017 (April 2000) DEPARTMENT OF MATHEMATICS UNIVERSITY OF NIJMEGEN…
- Cited by 4 (2 self) – Add To MetaCart
-
The Borel hierarchy and the projective hierarchy in intuitionistic mathematics
- … AND THE PROJECTIVE HIERARCHY IN INTUITIONISTIC MATHEMATICS Wim Veldman Report No. 0103 (March 2001) DEPARTMENT…
- Cited by 4 (2 self) – Add To MetaCart
Showing 1 through 5.
