( en | de | ru )

 

Disambiguierung von "Veldman, Wim"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Some observations on intuitionistically elementary properties of linear orderings.

, und . Arch. Math. Log., 29 (3): 171-185 (1990)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Kathrin Veldman

Lutz Veldman

Alex Veldman

Jan Veldman

Wim Wätjen

 

Weitere Publikationen von Autoren mit dem selben Namen

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 von 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., und . J. Symb. Log., 61 (3): 745-767 (1996)