Edit Profile (opens in new tab) Veldman, Wim Compute Distance To: Compute Author ID: 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 all top 5 Co-Authors 21 single-authored 1 Bezem, Marc 1 de Swart, Harrie C. M. 1 Gielen, W. 1 Janssen, Michael 1 Spitters, Bas 1 Waaldijk, Frank all top 5 Serials 4 The Journal of Symbolic Logic 3 Archive for Mathematical Logic 2 Indagationes Mathematicae. New Series 2 Nieuw Archief voor Wiskunde. Vijfde Serie 1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) 1 Journal of the London Mathematical Society. Second Series 1 Annals of Pure and Applied Logic 1 The Bulletin of Symbolic Logic 1 Philosophia Mathematica. Series III 1 Journal of Universal Computer Science 1 The Review of Symbolic Logic all top 5 Fields 25 Mathematical logic and foundations (03-XX) 4 Real functions (26-XX) 2 General and overarching topics; collections (00-XX) 2 History and biography (01-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Sequences, series, summability (40-XX) 1 Operator theory (47-XX) 1 General topology (54-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications 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.02018Veldman, Wim 23 1976 Brouwer’s fan theorem as an axiom and as a contrast to Kleene’s alternative. Zbl 1327.03046Veldman, Wim 17 2014 Understanding and using Brouwer’s continuity principle. Zbl 1019.03043Veldman, Wim 9 2001 An intuitionistic proof of Kruskal’s theorem. Zbl 1063.03046Veldman, Wim 9 2004 Ramsey’s theorem and the pigeonhole principle in intuitionistic mathematics. Zbl 0729.03034Veldman, Wim; Bezem, Marc 9 1993 Brouwer’s approximate fixed-point theorem is equivalent to Brouwer’s fan theorem. Zbl 1167.03040Veldman, Wim 9 2009 Two simple sets that are not positively Borel. Zbl 1093.03034Veldman, Wim 8 2005 The continuum hypothesis in intuitionism. Zbl 0461.03014Gielen, W.; De Swart, H.; Veldman, W. 7 1981 The Borel hierarchy theorem from Brouwer’s intuitionistic perspective. Zbl 1148.03039Veldman, Wim 4 2008 On sets enclosed between a set and its double complement. Zbl 0951.03060Veldman, Wim 4 1999 Some elementary results in intuitionistic model theory. Zbl 0860.03041Veldman, Wim; Waaldijk, Frank 4 1996 A survey of intuitionistic descriptive set theory. Zbl 0780.03029Veldman, Wim 4 1990 The problem of determinacy of infinite games from an intuitionistic point of view. Zbl 1177.03060Veldman, Wim 3 2009 Perhaps the intermediate value theorem. Zbl 1128.03049Veldman, Wim 3 2005 Almost the fan theorem. Zbl 1173.03310Veldman, Wim 3 2001 On the constructive contrapositions of two axioms of countable choice. Zbl 0532.03026Veldman, Wim 2 1982 Some observations on intuitionistically elementary properties of linear orderings. Zbl 0691.03043Veldman, Wim; Janssen, Michaël 2 1990 Treading in Brouwer’s footsteps. Zbl 07377979Veldman, Wim 1 2020 Retracing Cantor’s first steps in Brouwer’s company. Zbl 1423.03250Veldman, Wim 1 2018 The fine structure of the intuitionistic Borel hierarchy. Zbl 1177.03061Veldman, Wim 1 2009 Treading in Brouwer’s footsteps. Zbl 07377979Veldman, Wim 1 2020 Retracing Cantor’s first steps in Brouwer’s company. Zbl 1423.03250Veldman, Wim 1 2018 Brouwer’s fan theorem as an axiom and as a contrast to Kleene’s alternative. Zbl 1327.03046Veldman, Wim 17 2014 Brouwer’s approximate fixed-point theorem is equivalent to Brouwer’s fan theorem. Zbl 1167.03040Veldman, Wim 9 2009 The problem of determinacy of infinite games from an intuitionistic point of view. Zbl 1177.03060Veldman, Wim 3 2009 The fine structure of the intuitionistic Borel hierarchy. Zbl 1177.03061Veldman, Wim 1 2009 The Borel hierarchy theorem from Brouwer’s intuitionistic perspective. Zbl 1148.03039Veldman, Wim 4 2008 Two simple sets that are not positively Borel. Zbl 1093.03034Veldman, Wim 8 2005 Perhaps the intermediate value theorem. Zbl 1128.03049Veldman, Wim 3 2005 An intuitionistic proof of Kruskal’s theorem. Zbl 1063.03046Veldman, Wim 9 2004 Understanding and using Brouwer’s continuity principle. Zbl 1019.03043Veldman, Wim 9 2001 Almost the fan theorem. Zbl 1173.03310Veldman, Wim 3 2001 On sets enclosed between a set and its double complement. Zbl 0951.03060Veldman, Wim 4 1999 Some elementary results in intuitionistic model theory. Zbl 0860.03041Veldman, Wim; Waaldijk, Frank 4 1996 Ramsey’s theorem and the pigeonhole principle in intuitionistic mathematics. Zbl 0729.03034Veldman, Wim; Bezem, Marc 9 1993 A survey of intuitionistic descriptive set theory. Zbl 0780.03029Veldman, Wim 4 1990 Some observations on intuitionistically elementary properties of linear orderings. Zbl 0691.03043Veldman, Wim; Janssen, Michaël 2 1990 On the constructive contrapositions of two axioms of countable choice. Zbl 0532.03026Veldman, Wim 2 1982 The continuum hypothesis in intuitionism. Zbl 0461.03014Gielen, W.; De Swart, H.; Veldman, W. 7 1981 An intuitionistic completeness theorem for intuitionistic predicate logic. Zbl 0355.02018Veldman, Wim 23 1976 all cited Publications top 5 cited Publications 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 all top 5 Cited in 31 Serials 9 Annals of Pure and Applied Logic 9 Archive for Mathematical Logic 6 Journal of Philosophical Logic 5 Indagationes Mathematicae. New Series 4 The Journal of Symbolic Logic 3 Mathematical Logic Quarterly (MLQ) 2 Theoretical Computer Science 2 Information and Computation 2 MSCS. Mathematical Structures in Computer Science 2 The Review of Symbolic Logic 2 ISRN Applied Mathematics 2 ISRN Computational Mathematics 1 Archiv für Mathematische Logik und Grundlagenforschung 1 Information Processing Letters 1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) 1 Mathematische Semesterberichte 1 Applied Mathematics and Computation 1 Notre Dame Journal of Formal Logic 1 Studia Logica 1 Bulletin of the Section of Logic 1 History and Philosophy of Logic 1 Journal of Automated Reasoning 1 Annals of Operations Research 1 Applicable Algebra in Engineering, Communication and Computing 1 Journal of Logic, Language and Information 1 The Bulletin of Symbolic Logic 1 Erkenntnis 1 Foundations of Science 1 The Journal of Logic and Algebraic Programming 1 New Mathematics and Natural Computation 1 Logica Universalis all top 5 Cited in 16 Fields 70 Mathematical logic and foundations (03-XX) 14 Computer science (68-XX) 8 General topology (54-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 History and biography (01-XX) 3 Real functions (26-XX) 2 Combinatorics (05-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Functional analysis (46-XX) 1 General and overarching topics; collections (00-XX) 1 Number theory (11-XX) 1 Category theory; homological algebra (18-XX) 1 Measure and integration (28-XX) 1 Sequences, series, summability (40-XX) 1 Quantum theory (81-XX) 1 Systems theory; control (93-XX) Citations by Year