Topos perspective on the Kochen-Specker theorem. III: Von Neumann algebras as the base category.
From MaRDI portal
Publication:1590884
DOI10.1023/A:1003667607842zbMath1055.81004arXivquant-ph/9911020MaRDI QIDQ1590884
Publication date: 1 January 2001
Published in: International Journal of Theoretical Physics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/quant-ph/9911020
Topoi (18B25) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Operator algebra methods applied to problems in quantum theory (81R15)
Related Items
Contextuality and the fundamental theorems of quantum mechanics, Effect Algebras, Presheaves, Non-locality and Contextuality, Effect algebras, presheaves, non-locality and contextuality, Topos models for physics and topos theory, Topos quantum theory on quantization-induced sheaves, Double-slit interference and temporal topos, Topos quantum theory with short posets, The space of measurement outcomes as a spectral invariant for non-commutative algebras, Topos quantum theory reduced by context-selection functors, Gleason’s theorem for composite systems, A comparison of two topos-theoretic approaches to quantum theory, Spectral presheaves as quantum state spaces, Discrete quantum structures. I: Quantum predicate logic, Contextuality and noncommutative geometry in quantum mechanics, The logos categorical approach to quantum mechanics. I: Kochen-Specker contextuality and global intensive valuations, A topos perspective on state-vector reduction, Topologies on quantum topoi induced by quantization, A topos perspective on state-vector reduction, Superlogic manifolds and geometric approach to quantum logic, Indeterministic objects in the category of effect algebras and the passage to the semiclassical limit, Topos-theoretic extension of a modal interpretation of quantum mechanics, Topos Quantum Logic and Mixed States, Negations and meets in topos quantum theory, A topos for algebraic quantum theory, A topos formulation of history quantum theory, A topos foundation for theories of physics: I. Formal languages for physics, A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory, A topos foundation for theories of physics: III. The representation of physical quantities with arrows δ̆o(A):Σ̱→R≽̱, A topos foundation for theories of physics: IV. Categories of systems, Kochen-Specker theorem for von Neumann algebras, Classical and quantum probabilities as truth values
