×
Author ID: veldman.wim Recent zbMATH articles by "Veldman, Wim"
Published as: Veldman, Wim; Veldman, W.
External Links: MGP · dblp
Documents Indexed: 31 Publications since 1975, including 3 Additional arXiv Preprints
Reviewing Activity: 42 Reviews
Co-Authors: 6 Co-Authors with 5 Joint Publications
109 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

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

Cited by 90 Authors

9 Veldman, Wim
8 Ishihara, Hajime
6 Nemoto, Takako
4 Tanaka, Yasuhito
3 Bickford, Mark
3 Kirst, Dominik
3 Larchey-Wendling, Dominique
3 Moschovakis, Joan Rand
3 Sanders, Sam
3 Schuster, Peter Michael
3 van Atten, Mark
2 Ardeshir, Mohammad
2 Berger, Josef
2 Bridges, Douglas Suth
2 Cohen, Liron
2 Constable, Robert Lee
2 Coquand, Thierry
2 de Swart, Harrie C. M.
2 Diener, Hannes
2 Herbelin, Hugo
2 Lee, Gyesik
2 Liang, Chuck
2 Lipton, James B.
2 Martino, Enrico
2 Rahli, Vincent
2 Ramezanian, Rasoul
2 Schwichtenberg, Helmut
2 Sternagel, Christian
2 Waaldijk, Frank
1 Berardi, Stefano
1 Berger, Ulrich
1 Bezhanishvili, Guram
1 Blechschmidt, Ingo
1 Brauer, Ethan
1 Buchholz, Wilfried
1 Buriola, Gabriele
1 Chatain, Thomas
1 Coupet-Grimal, Solange
1 Dean, Walter
1 Delobel, William
1 Dzierzgowski, Daniel
1 Eberl, Matthias
1 Fine, Kit
1 Firsov, Denis
1 Forssell, Henrik
1 Fujiwara, Makoto
1 Gauthier, Yvon
1 Hendtlass, Matthew Ralph John
1 Hermant, Olivier
1 Hirata, Ayana
1 Humberstone, Lloyd
1 Ilik, Danko
1 Kawai, Tatsuji
1 Kentaro, Sato
1 Khomenko, Victor
1 Kihara, Takayuki
1 Krivtsov, Victor N.
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 O’Donnell, Michael J.
1 Ogawa, Mizuhito
1 Omori, Hitoshi
1 Paßmann, Robert
1 Posy, Carl J.
1 Sato, Kentaro
1 Scheele, Stephan
1 Seisenberger, Monika
1 Smith, Jan M.
1 Spitters, Bas
1 Stecher, Jack Douglas
1 Steila, Silvia
1 Stone, Matthew T.
1 Suzuki, Nobu-Yuki
1 Uustalu, Tarmo
1 Vafeiadou, Garyfallia
1 van Dalen, Dirk
1 Veltri, Niccolò
1 Velupillai, Kumaraswamy (Vela)
1 Walsh, Sean
1 Weber, Zach
1 Wehr, Dominik
1 Weiss, Yale
1 Wiesnet, Franziskus
1 Woleński, Jan
1 Yokoyama, Keita

Citations by Year