Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Veldman, W.H.M."'
Autor:
Veldman, W.H.M.
Item does not contain fulltext Minisymposium 'De wiskundige L.E>J. Brouwer, een veelzijdig genie', 17 maart 2022 Noord-Hollandsarchief
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c669995c8a49401d17be311fb481da9f
http://hdl.handle.net/2066/247562
http://hdl.handle.net/2066/247562
Autor:
Veldman, W.H.M.
Publikováno v:
Journal of Logic and Analysis, 14, pp. 1-85
Journal of Logic and Analysis, 14, 1-85
Journal of Logic and Analysis, 14, 1-85
We study `definable' subsets of Baire space $\mathcal{N}$. The logic of our arguments is intuitionistic and we use L.E.J.~Brouwer's Thesis on bars in $\mathcal{N}$ and his continuity axioms. We avoid the operation of taking the complement of a subset
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::671f1a005fe63639d8e4ea3f9c8933e2
Publikováno v:
Logic, Epistemology, and the Unity of Science ; 49, 1-33. Cham : Springer International Publishing
STARTPAGE=1;ENDPAGE=33;TITLE=Logic, Epistemology, and the Unity of Science ; 49
STARTPAGE=1;ENDPAGE=33;TITLE=Logic, Epistemology, and the Unity of Science ; 49
We show that the intuitionistic first-order theory of equality has continuum many complete extensions. We also study the Vitali equivalence relationVitali equivalence relation and show there are many intuitionistically precise versions of it.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d1ca93a07a0cc154bc59c47cb1f1ae48
http://hdl.handle.net/2066/234026
http://hdl.handle.net/2066/234026
Autor:
Veldman, W.H.M.
Publikováno v:
Archive for Mathematical Logic, 43, part 2, pp. 215-264
Archive for Mathematical Logic, 43, 215-264
Archive for Mathematical Logic, 43, 215-264
Item does not contain fulltext
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::01e4487fcb21a38dd0477e08c2d30d09
https://hdl.handle.net/2066/60190
https://hdl.handle.net/2066/60190
Publikováno v:
Synthese Library ; 341, 277-299. s.l : Springer
STARTPAGE=277;ENDPAGE=299;TITLE=Synthese Library ; 341
Lindstrom, S.; Palmgren, E. (ed.), Logicism, Intuitionism, and Formalism, What Has Become of Them?, pp. 277-299
STARTPAGE=277;ENDPAGE=299;TITLE=Synthese Library ; 341
Lindstrom, S.; Palmgren, E. (ed.), Logicism, Intuitionism, and Formalism, What Has Become of Them?, pp. 277-299
Item does not contain fulltext
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b27e76f94a553dddb3e3c015ec34ceda
https://hdl.handle.net/2066/75258
https://hdl.handle.net/2066/75258
Autor:
Veldman, W.H.M.
Item does not contain fulltext 70 p.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::01fae5dff4ad459abba7221fd6e7f6d5
https://hdl.handle.net/2066/72478
https://hdl.handle.net/2066/72478
Publikováno v:
Atten, M. van; Boldini, P.; Bourdeau, M. (ed.), One Hundred Years of Intuitionism (1907-2007): The Cerisy Conference, 326-340. Centre Culturel International de Cerisy, Frankrijk : Birkhauser Verlag AG, Basel-Bonston-Berlin
STARTPAGE=326;ENDPAGE=340;TITLE=Atten, M. van; Boldini, P.; Bourdeau, M. (ed.), One Hundred Years of Intuitionism (1907-2007): The Cerisy Conference
Atten, M. van; Boldini, P.; Bourdeau, M. (ed.), One Hundred Years of Intuitionism (1907-2007): The Cerisy Conference, pp. 326-340
STARTPAGE=326;ENDPAGE=340;TITLE=Atten, M. van; Boldini, P.; Bourdeau, M. (ed.), One Hundred Years of Intuitionism (1907-2007): The Cerisy Conference
Atten, M. van; Boldini, P.; Bourdeau, M. (ed.), One Hundred Years of Intuitionism (1907-2007): The Cerisy Conference, pp. 326-340
Item does not contain fulltext The Cerisy Conference, 05 juni 2007
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::74964df723a4c963096917fb228cb4ff
https://hdl.handle.net/2066/72566
https://hdl.handle.net/2066/72566
Autor:
Veldman, W.H.M.
Publikováno v:
Philosophia Scientiae, Cahier Spécial, 6, 6, pp. 21-42
Philosophia Scientiae, Cahier Spécial, 6, 21-42
Philosophia Scientiae, Cahier Spécial, 6, 21-42
Contains fulltext : 36026.pdf (Publisher’s version ) (Open Access)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5c33314b77d73bf2b907279688bf63cb
https://hdl.handle.net/2066/36026
https://hdl.handle.net/2066/36026
Autor:
Veldman, W.H.M.
Publikováno v:
0604
Item does not contain fulltext 141 p.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ee2d9197160019bbb4c89ac75cc0a23d
http://hdl.handle.net/2066/35348
http://hdl.handle.net/2066/35348
Autor:
Veldman, W.H.M.
Publikováno v:
Journal of Universal Computer Science, 11, 2142-2158
Journal of Universal Computer Science, 11, 12, pp. 2142-2158
Journal of Universal Computer Science, 11, 12, pp. 2142-2158
Contains fulltext : 32838.pdf (Publisher’s version ) (Open Access)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::71a1ebc590214f1eb2164f9c260ced08
http://hdl.handle.net/2066/32838
http://hdl.handle.net/2066/32838