Topos theory and consistent histories: The internal logic of the set of all consistent sets
From MaRDI portal
Publication:1357832
DOI10.1007/BF02435786zbMath0881.03039arXivgr-qc/9607069OpenAlexW2004937076MaRDI QIDQ1357832
Publication date: 27 July 1997
Published in: International Journal of Theoretical Physics (Search for Journal in Brave)
Abstract: A major problem in the consistent-histories approach to quantum theory is contending with the potentially large number of consistent sets of history propositions. One possibility is to find a scheme in which a unique set is selected in some way. However, in this paper we consider the alternative approach in which all consistent sets are kept, leading to a type of `many world-views' picture of the quantum theory. It is shown that a natural way of handling this situation is to employ the theory of varying sets (presheafs) on the space $B$ of all Boolean subalgebras of the orthoalgebra $UP$ of history propositions. This approach automatically includes the feature whereby probabilistic predictions are meaningful only in the context of a consistent set of history propositions. More strikingly, it leads to a picture in which the `truth values', or `semantic values' of such contextual predictions are not just two-valued (ie true and false) but instead lie in a larger logical algebra---a Heyting algebra---whose structure is determined by the space $B$ of Boolean subalgebras of $UP$.
Full work available at URL: https://arxiv.org/abs/gr-qc/9607069
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Topoi (18B25) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Topoi. The categorial analysis of logic. Rev. ed
- Consistent histories and the interpretation of quantum mechanics
- Logical reformulation of quantum mechanics. I: Foundations
- Sheaves in geometry and logic: a first introduction to topos theory
- Filters and supports in orthoalgebras
- On the consistent histories approach to quantum mechanics.
- Relational quantum mechanics
- Quantum logic and the histories approach to quantum theory
- Quantum temporal logic and decoherence functionals in the histories approach to generalized quantum theory
- The classification of decoherence functionals: An analog of Gleason’s theorem
- Clock and category: Is quantum gravity algebraic?
- Continuous histories and the history group in generalized quantum theory
Related Items (28)
A Bayesian account of quantum histories ⋮ Tensor networks for quantum causal histories ⋮ Topos quantum theory on quantization-induced sheaves ⋮ Finitary topos for locally finite, causal and quantal vacuum Einstein gravity ⋮ Topos quantum theory reduced by context-selection functors ⋮ Implementing causality in the spin foam quantum geometry ⋮ A comparison of two topos-theoretic approaches to quantum theory ⋮ Experimental test of entangled histories ⋮ A BRIDGE BETWEEN Q-WORLDS ⋮ Contextual extensions of quantum gravity models ⋮ The role of phase space geometry in Heisenberg's uncertainty relation. ⋮ Quantum history cannot be copied ⋮ Contrary inferences in consistent histories and a set selection criterion ⋮ Group action in topos quantum physics ⋮ The logos categorical approach to quantum mechanics. I: Kochen-Specker contextuality and global intensive valuations ⋮ A topos perspective on state-vector reduction ⋮ On tracial operator representations of quantum decoherence functionals ⋮ Contextual logic for quantum systems ⋮ A topos perspective on state-vector reduction ⋮ Indeterministic objects in the category of effect algebras and the passage to the semiclassical limit ⋮ Superdensity operators for spacetime quantum mechanics ⋮ Symmetries of history quantum theories and decoherence functionals ⋮ Topos-theoretic extension of a modal interpretation of quantum mechanics ⋮ A heuristic philosophical discourse on various applications of abstract differential geometry in quantum gravity research ⋮ Subjective spacetime derived from a causal histories approach ⋮ A topos formulation of history quantum theory ⋮ A topos foundation for theories of physics: I. Formal languages for physics ⋮ New families of finite coherent orthoalgebras without bivaluations
This page was built for publication: Topos theory and consistent histories: The internal logic of the set of all consistent sets
