Browsing by Author "Veldman, W.H.M."
Now showing items 127 of 27

Equality and Equivalence, Intuitionistically
Veldman, W.H.M.2021, Part of book or chapter of book (Mojtahedi, M.; Rahman, S.; Zarepour, M.S. (ed.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir, pp. 133) 
Retracing Cantor's first steps in Brouwer's company
Veldman, W.H.M.2018, Article / Letter to editor (Indagationes Mathematicae. New Series, 29, 1, (2018), pp. 161201) 
Brouwer's Fan Theorem as an axiom and as a contrast to Kleene's Alternative
Veldman, W.H.M.2014, Article / Letter to editor (Archive for Mathematical Logic, 53, 56, (2014), pp. 621693) 
Analytic, coanalytic and projective sets from Brouwer's intuitionistic perspective
Veldman, W.H.M.2011, Article / Letter to editor (Arxiv.Org, 1104.3077, (2011), pp. 182) 
The fine structure of the intuitionistic Borel hierarchy
Veldman, W.H.M.2009, Article / Letter to editor (The Review of Symbolic Logic, 2, (2009), pp. 30101) 
Brouwer's Approximate Fixedpoint Theorem is Equivalent to Brouwer's Fan Theorem
Veldman, W.H.M.2009, Part of book or chapter of book (Lindstrom, S.; Palmgren, E. (ed.), Logicism, Intuitionism, and Formalism, What Has Become of Them?, pp. 277299) 
The problem of determinacy of infinite games from an intuitionistic point of view
Veldman, W.H.M.2009, Part of book or chapter of book (Games, unifying logic, language and philosophy) 
The fine structure of the intuitionistic Borel hierarchy
Veldman, W.H.M.2008, External research report 
The Borel hierarchy theorem from Brouwer's intuitionistic perspective
Veldman, W.H.M.2008, Article / Letter to editor (Journal of Symbolic Logic, 73, 1, (2008), pp. 164) 
Some applications of Brouwer's Thesis on Bars
Veldman, W.H.M.2008, Article in monograph or in proceedings (Atten, M. van; Boldini, P.; Bourdeau, M. (ed.), One Hundred Years of Intuitionism (19072007): The Cerisy Conference, pp. 326340) 
The Borel Hierarchy and the projective Hierarchy from Brouwer's intuitionistic perspective
Veldman, W.H.M.2006, External research report 
Brouwer’s Real Thesis on Bars
Veldman, W.H.M.2006, Article / Letter to editor (Philosophia Scientiae, Cahier Spécial, 6, 6, (2006), pp. 2142) 
Two simple sets that are not positively Borel
Veldman, W.H.M.2005, Article / Letter to editor (Annals of Pure and Applied Logic, 135, 13, (2005), pp. 151209) 
Perhaps the Intermediate Value Theorem
Veldman, W.H.M.2005, Article / Letter to editor (Journal of Universal Computer Science, 11, 12, (2005), pp. 21422158) 
An intuitionistic proof of Kruskal's theorem
Veldman, W.H.M.2004, Article / Letter to editor (Archive for Mathematical Logic, 43, part 2, (2004), pp. 215264) 
The problem of the determinacy of intuitionistic games from an intiuitionistic point of view
Veldman, W.H.M.2004, External research report 
Two “simple” sets that are not positively Borel
Veldman, W.H.M.2004, External research report 
Almost the fan theorem
Veldman, Wim2001, Internal report 
Bijna de waaierstelling
Veldman, Wim2001, Internal report 
The Borel hierarchy and the projective hierarchy in intuitionistic mathematics
Veldman, Wim2001, Internal report 
An intuitionistic proof of Kruskal's Theorem
Veldman, Wim2000, Internal report 
A constructive converse of the mean value theorem
Spitters, B.A.W.; Veldman, W.H.M.2000, Article / Letter to editor (Indagationes Mathematicae. New Series, 11, 1, (2000), pp. 151157) 
On the persistent difficulty of disjunction
Veldman, Wim2000, Internal report 
Understanding and using Brouwer's Continuity Principle
Veldman, Wim2000, Internal report 
The Borel hierarchy in intuitionistic mathematics
Veldman, Wim1999, Internal report 
Some elementary results in intuitionistic model theory
Veldman, W.; Waaldijk, F.1996, Article / Letter to editor (Journal of Symbolic Logic, 61, 3, (1996), pp. 745767) 
Investigations in intuitionistic hierarchy theory
Veldman, W.H.M.1981, Dissertation