( en | de | ru )

 

Disambiguation of "Veldman, Wim"

Author of the publication

copydeleteadd this publication to your clipboard
Projective sets, intuitionistically.

. J. Log. Anal., (2022)

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

Alex Veldman

Jan 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)The Fine Structure of the intuitionistic Borel Hierarchy.. Rev. Symb. Log., 2 (1): 30-101 (2009)An intuitionistic proof of Kruskal's theorem.. Arch. Math. Log., 43 (2): 215-264 (2004)The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective.. J. Symb. Log., 73 (1): 1-64 (2008)Perhaps the Intermediate Value Theorem.. J. Univers. Comput. Sci., 11 (12): 2142-2158 (2005)Some observations on intuitionistically elementary properties of linear orderings., and . Arch. Math. Log., 29 (3): 171-185 (1990)Two simple sets that are not positively Borel.. Ann. Pure Appl. Log., 135 (1-3): 151-209 (2005)The Continuum Hypothesis in Intuitionism., , and . J. Symb. Log., 46 (1): 121-136 (1981)