2 citations · 4 across the 3 of their papers we have counts for
3 papers
math.FA2016★ 2 cited
Yosida Duality
Bas Westerbaan
In this note we prove Yosida duality --- that is: the category of compact Hausdorff spaces with continuous maps is dually equivalent to the category of uniformly complete Archimede…
cs.DM2014★ 2 cited
A Kochen-Specker system has at least 22 vectors (extended abstract)
Sander Uijlen, Bas Westerbaan
At the heart of the Conway-Kochen Free Will theorem and Kochen and Specker's argument against non-contextual hidden variable theories is the existence of a Kochen-Specker (KS) syst…
math.LO2014
On effective undecidability and Post's problem
Bas Westerbaan
In this thesis, we will look at some known and some previously uninvestigated notions of effective undecidability. We try to discover how far we can stretch effective undecidabilit…