( en | de | ru )

 

Disambiguation of "Veldman, Wim"

Author of the publication

copydeleteadd this publication to your clipboard
The Problem of Determinacy of Infinite Games from an Intuitionistic Point of View.

. Games: Unifying Logic, Language, and Philosophy, volume 15 of Logic, Epistemology, and the Unity of Science, Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kathrin Veldman

Lutz Veldman

Jan Veldman

Alex Veldman

Wim Wätjen

 

Other publications of authors with the same name

In Memoriam: Walter (Wouter) van Stigt (1927-2015).. Bull. Symb. Log., 23 (1): 122-123 (2017)Projective sets, intuitionistically.. J. Log. Anal., (2022)The Problem of Determinacy of Infinite Games from an Intuitionistic Point of View.. Games: Unifying Logic, Language, and Philosophy, volume 15 of Logic, Epistemology, and the Unity of Science, Springer, (2009)Perhaps the Intermediate Value Theorem.. J. Univers. Comput. Sci., 11 (12): 2142-2158 (2005)The Fine Structure of the intuitionistic Borel Hierarchy.. Rev. Symb. Log., 2 (1): 30-101 (2009)The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective.. J. Symb. Log., 73 (1): 1-64 (2008)An intuitionistic proof of Kruskal's theorem.. Arch. Math. Log., 43 (2): 215-264 (2004)Two simple sets that are not positively Borel.. Ann. Pure Appl. Log., 135 (1-3): 151-209 (2005)An Intuitionistic Completeness Theorem for Intuitionistic Predicate Logic.. J. Symb. Log., 41 (1): 159-166 (1976)Some Elementary Results in Intuitionistic Model Theory., and . J. Symb. Log., 61 (3): 745-767 (1996)