Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
From MaRDI portal
Publication:1303448
DOI10.1023/A:1026680806775zbMath0979.81018arXivquant-ph/9803055MaRDI QIDQ1303448
Publication date: 1 October 2000
Published in: International Journal of Theoretical Physics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/quant-ph/9803055
Related Items
Contextuality and the fundamental theorems of quantum mechanics, Sheaf-theoretic representation of quantum measure algebras, On the relation between quantum mechanical probabilities and event frequencies, Topos models for physics and topos theory, A model for spacetime: the role of interpretation in some Grothendieck topoi, Topos quantum theory on quantization-induced sheaves, Double-slit interference and temporal topos, A Kochen-Specker theorem for integer matrices and noncommutative spectrum functors, Topos quantum theory with short posets, Quantum observables algebras and abstract differential geometry: the topos-theoretic dynamics of diagrams of commutative algebraic localizations, Finitary topos for locally finite, causal and quantal vacuum Einstein gravity, Bohrification of operator algebras and quantum logic, A categorial semantic representation of quantum event structures, Complementarity in categorical quantum mechanics, Towards a Paraconsistent Quantum Set Theory, 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, A topological study of contextuality and modality in quantum mechanics, A BRIDGE BETWEEN Q-WORLDS, Classifying finite-dimensional \(C^*\)-algebras by posets of their commutative \(C^*\)-subalgebras, Contextual semantics in quantum mechanics from a categorical point of view, Unnamed Item, Unnamed Item, Unnamed Item, Subalgebras of orthomodular lattices, Contextuality and noncommutative geometry in quantum mechanics, The sheaf-theoretic structure of non-locality and contextuality, Why Categories?, The logos categorical approach to quantum mechanics. I: Kochen-Specker contextuality and global intensive valuations, THE GELFAND SPECTRUM OF A NONCOMMUTATIVE C*-ALGEBRA: A TOPOS-THEORETIC APPROACH, A topos perspective on state-vector reduction, Topologies on quantum topoi induced by quantization, Modality and contextuality in topos quantum theory, Contextual logic for quantum systems, The strong and weak holographic principles, 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 THEORY AND SPACETIME STRUCTURE, Boolean coverings of quantum observable structure: a setting for an abstract differential geometric mechanism, The rest-frame instant form of metric gravity., Boolean subalgebras of orthoalgebras, Category-theoretic interpretative framework of the complementarity principle in quantum mechanics, Boolean information sieves: a local-to-global approach to quantum information, Intuitionistic quantum logic of an \(n\)-level system, Topos-theoretic extension of a modal interpretation of quantum mechanics, Topos Quantum Logic and Mixed States, The logos categorical approach to quantum mechanics. II. Quantum superpositions and intensive values, Negations and meets in topos quantum theory, Exploring mathematical objects from custom-tailored mathematical universes, 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
