×
Compute Distance To:
Author ID: veldman.wim Recent zbMATH articles by "Veldman, Wim"
Published as: Veldman, Wim; Veldman, W.
External Links: MGP · dblp
Documents Indexed: 27 Publications since 1975
Reviewing Activity: 42 Reviews
Co-Authors: 6 Co-Authors with 5 Joint Publications
99 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

20 Publications have been cited 123 times in 77 Documents Cited by Year
An intuitionistic completeness theorem for intuitionistic predicate logic. Zbl 0355.02018
Veldman, Wim
23
1976
Brouwer’s fan theorem as an axiom and as a contrast to Kleene’s alternative. Zbl 1327.03046
Veldman, Wim
17
2014
Understanding and using Brouwer’s continuity principle. Zbl 1019.03043
Veldman, Wim
9
2001
An intuitionistic proof of Kruskal’s theorem. Zbl 1063.03046
Veldman, Wim
9
2004
Ramsey’s theorem and the pigeonhole principle in intuitionistic mathematics. Zbl 0729.03034
Veldman, Wim; Bezem, Marc
9
1993
Brouwer’s approximate fixed-point theorem is equivalent to Brouwer’s fan theorem. Zbl 1167.03040
Veldman, Wim
9
2009
Two simple sets that are not positively Borel. Zbl 1093.03034
Veldman, Wim
8
2005
The continuum hypothesis in intuitionism. Zbl 0461.03014
Gielen, W.; De Swart, H.; Veldman, W.
7
1981
The Borel hierarchy theorem from Brouwer’s intuitionistic perspective. Zbl 1148.03039
Veldman, Wim
4
2008
On sets enclosed between a set and its double complement. Zbl 0951.03060
Veldman, Wim
4
1999
Some elementary results in intuitionistic model theory. Zbl 0860.03041
Veldman, Wim; Waaldijk, Frank
4
1996
A survey of intuitionistic descriptive set theory. Zbl 0780.03029
Veldman, Wim
4
1990
The problem of determinacy of infinite games from an intuitionistic point of view. Zbl 1177.03060
Veldman, Wim
3
2009
Perhaps the intermediate value theorem. Zbl 1128.03049
Veldman, Wim
3
2005
Almost the fan theorem. Zbl 1173.03310
Veldman, Wim
3
2001
On the constructive contrapositions of two axioms of countable choice. Zbl 0532.03026
Veldman, Wim
2
1982
Some observations on intuitionistically elementary properties of linear orderings. Zbl 0691.03043
Veldman, Wim; Janssen, Michaël
2
1990
Treading in Brouwer’s footsteps. Zbl 07377979
Veldman, Wim
1
2020
Retracing Cantor’s first steps in Brouwer’s company. Zbl 1423.03250
Veldman, Wim
1
2018
The fine structure of the intuitionistic Borel hierarchy. Zbl 1177.03061
Veldman, Wim
1
2009
Treading in Brouwer’s footsteps. Zbl 07377979
Veldman, Wim
1
2020
Retracing Cantor’s first steps in Brouwer’s company. Zbl 1423.03250
Veldman, Wim
1
2018
Brouwer’s fan theorem as an axiom and as a contrast to Kleene’s alternative. Zbl 1327.03046
Veldman, Wim
17
2014
Brouwer’s approximate fixed-point theorem is equivalent to Brouwer’s fan theorem. Zbl 1167.03040
Veldman, Wim
9
2009
The problem of determinacy of infinite games from an intuitionistic point of view. Zbl 1177.03060
Veldman, Wim
3
2009
The fine structure of the intuitionistic Borel hierarchy. Zbl 1177.03061
Veldman, Wim
1
2009
The Borel hierarchy theorem from Brouwer’s intuitionistic perspective. Zbl 1148.03039
Veldman, Wim
4
2008
Two simple sets that are not positively Borel. Zbl 1093.03034
Veldman, Wim
8
2005
Perhaps the intermediate value theorem. Zbl 1128.03049
Veldman, Wim
3
2005
An intuitionistic proof of Kruskal’s theorem. Zbl 1063.03046
Veldman, Wim
9
2004
Understanding and using Brouwer’s continuity principle. Zbl 1019.03043
Veldman, Wim
9
2001
Almost the fan theorem. Zbl 1173.03310
Veldman, Wim
3
2001
On sets enclosed between a set and its double complement. Zbl 0951.03060
Veldman, Wim
4
1999
Some elementary results in intuitionistic model theory. Zbl 0860.03041
Veldman, Wim; Waaldijk, Frank
4
1996
Ramsey’s theorem and the pigeonhole principle in intuitionistic mathematics. Zbl 0729.03034
Veldman, Wim; Bezem, Marc
9
1993
A survey of intuitionistic descriptive set theory. Zbl 0780.03029
Veldman, Wim
4
1990
Some observations on intuitionistically elementary properties of linear orderings. Zbl 0691.03043
Veldman, Wim; Janssen, Michaël
2
1990
On the constructive contrapositions of two axioms of countable choice. Zbl 0532.03026
Veldman, Wim
2
1982
The continuum hypothesis in intuitionism. Zbl 0461.03014
Gielen, W.; De Swart, H.; Veldman, W.
7
1981
An intuitionistic completeness theorem for intuitionistic predicate logic. Zbl 0355.02018
Veldman, Wim
23
1976
all top 5

Cited by 78 Authors

8 Veldman, Wim
7 Ishihara, Hajime
5 Nemoto, Takako
4 Tanaka, Yasuhito
3 Moschovakis, Joan Rand
3 Schuster, Peter Michael
2 Ardeshir, Mohammad
2 Berger, Josef
2 Bickford, Mark
2 Bridges, Douglas Suth
2 Coquand, Thierry
2 de Swart, Harrie C. M.
2 Diener, Hannes
2 Herbelin, Hugo
2 Lee, Gyesik
2 Martino, Enrico
2 Ramezanian, Rasoul
2 Sanders, Sam
2 Schwichtenberg, Helmut
2 van Atten, Mark
2 Waaldijk, Frank
1 Berardi, Stefano
1 Berger, Ulrich
1 Bezhanishvili, Guram
1 Brauer, Ethan
1 Buchholz, Wilfried
1 Chatain, Thomas
1 Cohen, Liron
1 Constable, Robert Lee
1 Coupet-Grimal, Solange
1 Dean, Walter
1 Delobel, William
1 Dzierzgowski, Daniel
1 Fine, Kit
1 Firsov, Denis
1 Forssell, Henrik
1 Gauthier, Yvon
1 Hendtlass, Matthew Ralph John
1 Hirata, Ayana
1 Holliday, Wesley H.
1 Humberstone, Lloyd
1 Ilik, Danko
1 Kawai, Tatsuji
1 Kentaro, Sato
1 Khomenko, Victor
1 Kihara, Takayuki
1 Krivtsov, Victor N.
1 Larchey-Wendling, Dominique
1 Liang, Chuck
1 Lumsdaine, Peter LeFanu
1 Mahboubi, Assia
1 McKubre-Jordens, Maarten
1 Mendler, Michael
1 Moschovakis, Yiannis Nicholas
1 Niki, Satoru
1 Normann, Dag
1 Ogawa, Mizuhito
1 Omori, Hitoshi
1 Posy, Carl J.
1 Rahli, Vincent
1 Sato, Kentaro
1 Scheele, Stephan
1 Seisenberger, Monika
1 Smith, Jan M.
1 Spitters, Bas
1 Stecher, Jack Douglas
1 Steila, Silvia
1 Sternagel, Christian
1 Stone, Matthew T.
1 Uustalu, Tarmo
1 Vafeiadou, Garyfallia
1 van Dalen, Dirk
1 Veltri, Niccolò
1 Velupillai, Kumaraswamy (Vela)
1 Walsh, Sean
1 Weber, Zach
1 Weiss, Yale
1 Wiesnet, Franziskus

Citations by Year