Kochen and Specker's theorem can be seen as a consequence of Gleason's theorem and logical compactness. Similar compactness arguments lead to stronger results about finite sets of rays in Hilbert space, which we also prove by a direct construction. Finally, we demonstrate that Gleason's theorem itself has a constructive proof, based on a generic, finite, effectively generated set of rays, on which every quantum state can be approximated. © 2003 Elsevier Ltd. All rights reserved.
CITATION STYLE
Hrushovski, E., & Pitowsky, I. (2004). Generalizations of Kochen and Specker’s theorem and the effectiveness of Gleason’s theorem. Studies in History and Philosophy of Science Part B - Studies in History and Philosophy of Modern Physics, 35(2), 177–194. https://doi.org/10.1016/j.shpsb.2003.10.002
Mendeley helps you to discover research relevant for your work.