Wim Veldman

530 total citations
24 papers, 163 citations indexed

About

Wim Veldman is a scholar working on Computational Theory and Mathematics, Geometry and Topology and Artificial Intelligence. According to data from OpenAlex, Wim Veldman has authored 24 papers receiving a total of 163 indexed citations (citations by other indexed papers that have themselves been cited), including 17 papers in Computational Theory and Mathematics, 13 papers in Geometry and Topology and 8 papers in Artificial Intelligence. Recurrent topics in Wim Veldman's work include Advanced Topology and Set Theory (12 papers), Computability, Logic, AI Algorithms (10 papers) and Logic, Reasoning, and Knowledge (7 papers). Wim Veldman is often cited by papers focused on Advanced Topology and Set Theory (12 papers), Computability, Logic, AI Algorithms (10 papers) and Logic, Reasoning, and Knowledge (7 papers). Wim Veldman collaborates with scholars based in Netherlands and Germany. Wim Veldman's co-authors include H.C.M. de Swart, W. Gielen, Xaver Baur and Michaël Janssen and has published in prestigious journals such as Journal of the London Mathematical Society, Journal of Symbolic Logic and Annals of Pure and Applied Logic.

In The Last Decade

Wim Veldman

21 papers receiving 148 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Wim Veldman Netherlands 7 112 90 48 23 15 24 163
Gerhard Jäger Switzerland 10 184 1.6× 171 1.9× 53 1.1× 10 0.4× 55 3.7× 21 218
Guido Gherardi Italy 7 132 1.2× 47 0.5× 42 0.9× 14 0.6× 9 0.6× 16 142
Clifford Spector United States 4 270 2.4× 116 1.3× 104 2.2× 25 1.1× 13 0.9× 4 315
Reinhard Kähle Portugal 6 71 0.6× 85 0.9× 20 0.4× 8 0.3× 41 2.7× 36 133
Ralf Schindler Germany 10 176 1.6× 13 0.1× 186 3.9× 113 4.9× 17 1.1× 42 223
Jan Reimann Germany 7 107 1.0× 41 0.5× 17 0.4× 18 0.8× 3 0.2× 14 119
Zoran Petrić Serbia 8 78 0.7× 80 0.9× 87 1.8× 82 3.6× 4 0.3× 39 166
Emil L. Post 2 154 1.4× 66 0.7× 46 1.0× 10 0.4× 5 0.3× 2 166
Philip Kremer Canada 9 139 1.2× 189 2.1× 11 0.2× 8 0.3× 62 4.1× 29 239
M. Foreman United States 4 156 1.4× 11 0.1× 218 4.5× 138 6.0× 9 0.6× 8 234

Countries citing papers authored by Wim Veldman

Since Specialization
Citations

This map shows the geographic impact of Wim Veldman's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Wim Veldman with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Wim Veldman more than expected).

Fields of papers citing papers by Wim Veldman

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Wim Veldman. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Wim Veldman. The network helps show where Wim Veldman may publish in the future.

Co-authorship network of co-authors of Wim Veldman

This figure shows the co-authorship network connecting the top 25 collaborators of Wim Veldman. A scholar is included among the top collaborators of Wim Veldman based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Wim Veldman. Wim Veldman is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Veldman, Wim. (2024). The Fan Theorem, its strong negation, and the determinacy of games. Archive for Mathematical Logic. 64(1-2). 1–66.
2.
Veldman, Wim. (2022). Projective sets, intuitionistically. Radboud Repository (Radboud University). 14.
3.
Veldman, Wim. (2017). Retracing Cantor’s first steps in Brouwer’s company. Indagationes Mathematicae. 29(1). 161–201. 3 indexed citations
4.
Veldman, Wim. (2014). Brouwer’s Fan Theorem as an axiom and as a contrast to Kleene’s alternative. Archive for Mathematical Logic. 53(5-6). 621–693. 15 indexed citations
5.
Veldman, Wim. (2013). Some further equivalents of Brouwer's Fan Theorem and of Kleene's Alternative. arXiv (Cornell University). 2 indexed citations
6.
Veldman, Wim. (2009). THE FINE STRUCTURE OF THE INTUITIONISTIC BOREL HIERARCHY. The Review of Symbolic Logic. 2(1). 30–101. 2 indexed citations
7.
Veldman, Wim. (2008). The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective. Journal of Symbolic Logic. 73(1). 1–64. 5 indexed citations
8.
Veldman, Wim. (2006). Brouwer’s Real Thesis on Bars. Philosophia Scientae. CS 6. 21–42. 11 indexed citations
9.
Baur, Xaver, et al.. (2006). Health risks by bromomethane and other toxic gases in import cargo ship containers.. PubMed. 57(1-4). 46–55. 6 indexed citations
10.
Veldman, Wim. (2005). Two simple sets that are not positively Borel. Annals of Pure and Applied Logic. 135(1-3). 151–209. 10 indexed citations
11.
Veldman, Wim. (2004). An intuitionistic proof of Kruskal?s theorem. Archive for Mathematical Logic. 43(2). 215–264. 11 indexed citations
12.
Veldman, Wim. (2001). Almost the fan theorem. Data Archiving and Networked Services (DANS). 4 indexed citations
13.
Veldman, Wim. (2001). Bijna de waaierstelling. Data Archiving and Networked Services (DANS). 5 indexed citations
14.
Veldman, Wim. (2001). The Borel hierarchy and the projective hierarchy in intuitionistic mathematics. Data Archiving and Networked Services (DANS). 6 indexed citations
15.
Veldman, Wim, et al.. (1996). Some elementary results in intuitionistic model theory. Journal of Symbolic Logic. 61(3). 745–767. 2 indexed citations
16.
Veldman, Wim & Michaël Janssen. (1990). Some observations on intuitionistically elementary properties of linear orderings. Archive for Mathematical Logic. 29(3). 171–185. 2 indexed citations
17.
18.
Gielen, W., H.C.M. de Swart, & Wim Veldman. (1981). The continuum hypothesis in intuitionism. Journal of Symbolic Logic. 46(1). 121–136. 11 indexed citations
19.
Veldman, Wim. (1976). An intuitiomstic completeness theorem for intuitionistic predicate logic. Journal of Symbolic Logic. 41(1). 159–166. 34 indexed citations
20.
Veldman, Wim. (1976). An intuitiomstic completeness theorem for intuitionistic predicate logic. Journal of Symbolic Logic. 41(1). 159–166. 24 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Gerhard Jäger Breakdown of academic impact, for papers by Guido Gherardi Breakdown of academic impact, for papers by Clifford Spector Breakdown of academic impact, for papers by Reinhard Kähle Breakdown of academic impact, for papers by Ralf Schindler Breakdown of academic impact, for papers by Jan Reimann Breakdown of academic impact, for papers by Zoran Petrić Breakdown of academic impact, for papers by Emil L. Post Breakdown of academic impact, for papers by Philip Kremer Breakdown of academic impact, for papers by M. Foreman
Rankless by CCL
2026