Logical Reflections On the Kochen-Specker Theorem

Abstract

IN THEIR WELL-KNOWN PAPER, Kochen and Specker (1967) introduce the concept of partial Boolean algebra (pBa) and show that certain (finitely generated) partial Boolean algebras arising in quantum theory fail to possess morphisms to any Boolean algebra (we call such pBa's intractable in the sequel). In this note we begin by discussing partial..

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Partial Boolean algebras in a broader sense.Janusz Czelakowski - 1979 - Studia Logica 38 (1):1-16.
A topos perspective on the kochen-Specker theorem: III. Von Neumann algebras as the base category.John Hamilton, Chris Isham & Jeremy Butterfield - unknown
Quantum mechanics: From realism to intuitionism.Ronnie Hermens - unknown
Topos Perspective on the Kochen-Specker Theorem: I. Quantum States as Generalized Valuations.Chris Isham & Jeremy Butterfield - 1998 - International Journal of Theoretical Physics 37 (11).
A topos perspective on the kochen-Specker theorem: II. Conceptual aspects, and classical analogues.Jeremy Butterfield & Chris Isham - unknown
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.
Some remarks on openly generated Boolean algebras.Sakaé Fuchino - 1994 - Journal of Symbolic Logic 59 (1):302-310.
Elementary embedding between countable Boolean algebras.Robert Bonnet & Matatyahu Rubin - 1991 - Journal of Symbolic Logic 56 (4):1212-1229.

Analytics

Added to PP
2010-12-22

Downloads
45 (#1,275,705)

6 months
45 (#183,785)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Photo of John Bell
John Bell
University Of Glasgow

Citations of this work

Studies in logical theory.John Dewey - 1903 - New York: AMS Press.
Generalizations of Kochen and Specker's theorem and the effectiveness of Gleason's theorem.Ehud Hrushovski & Itamar Pitowsky - 2004 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 35 (2):177-194.
Introduction.J. Bub - 2004 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 35 (2):143-149.

Add more citations

References found in this work

No references found.

Add more references