Abstract
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. r 2003 Elsevier Ltd. All rights reserved.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 2004
DOI 10.1016/j.shpsb.2003.10.002
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,666
Through your library

References found in this work BETA

The Problem of Hidden Variables in Quantum Mechanics.Simon Kochen & E. P. Specker - 1967 - Journal of Mathematics and Mechanics 17:59--87.
Mathematical Logic.Joseph R. Shoenfield - 1967 - Reading, Mass., Addison-Wesley Pub. Co..
Betting on the Outcomes of Measurements: A Bayesian Theory of Quantum Probability.Itamar Pitowsky - 2002 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 34 (3):395-414.

View all 18 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Two No-Go Theorems for Modal Interpretations of Quantum Mechanics.E. P. - 1999 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 30 (3):403-431.
A Constructive Formulation of Gleason's Theorem.Helen Billinge - 1997 - Journal of Philosophical Logic 26 (6):661-670.
Gleason's Theorem has a Constructive Proof.Fred Richman - 2000 - Journal of Philosophical Logic 29 (4):425-431.
Non-Contextuality, Finite Precision Measurement and the Kochen–Specker Theorem.Jonathan Barrett & Adrian Kent - 2004 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 35 (2):151-176.
The Bell–Kochen–Specker Theorem.D. M. Appleby - 2005 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 36 (1):1-28.

Analytics

Added to PP index
2009-01-28

Total views
171 ( #52,613 of 2,349,170 )

Recent downloads (6 months)
3 ( #239,088 of 2,349,170 )

How can I increase my downloads?

Downloads

My notes