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)
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)
Related Items (27)
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 ⋮ 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
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Topos theory and consistent histories: The internal logic of the set of all consistent sets
