Topos perspective on the Kochen-Specker theorem: IV. Interval valuations

International Journal of Theoretical Physics

Volumn 41, Issue 4, 2002, Pages 613-639

  Butterfield, J ^a   Isham, C J ^b  

^a ALL SOULS COLLEGE   (United Kingdom)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Kochen Specker theorem; Quantum logic; Supports; Topos theory; Valuations

Indexed keywords

EID: 0036245620     PISSN: 00207748     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1015276209768     Document Type: Review

References (7)

1. Butterfield, J. (2001). Topos theory as a framework for partial truth. In Proceedings of the 11th International Congress of Logic Methodology and Philosophy of Science, P. Gardenfors, K. Kijania-Placek, and J. Wolenski, eds., Kluwer Academic, Norwell, MA. Available at: http://philsci-archive.pin.edu, ID code = PITT-PHIL-SCI00000192.
2. Butterfield, J. and Isham, C. J. (1999). A topos perspective on the Kochen-Specker theorem: II. Conceptual aspects, and classical analogues. International Journal of Theoretical Physics 38, 827-859.
3. Hamilton, J., Butterfield, J., and Isham, C. J. (2000). A topos perspective on the Kochen-Specker theorem: III. Von Neumann algebras as the base category. International Journal of Theoretical Physics 39, 1413-1436.
4. Isham, C. J. and Butterfield, J. (1998). A topos perspective on the Kochen-Specker theorem: I. Quantum states as generalised valuations. International Journal of Theoretical Physics 37, 2669-2733.
5. Kadison, R. V. and Ringrose, J. R. (1983). Fundamentals of the Theory of Operator Algebras Vol. 1: Elementary Theory, Academic Press, New York.
6. Kochen, S. and Specker, E. P. (1967). The problem of hidden variables in quantum mechanics. Journal of Mathematics and Mechanics 17, 59-87.
7. Vermaas, E (2000). A Philosopher's Understanding of Quantum Mechanics, Cambridge University Press, Cambridge, UK.