Some possible roles for topos theory in quantum theory and quantum gravity

Foundations of Physics

Volumn 30, Issue 10, 2000, Pages 1707-1735

  Isham, C J ^a   Butterfield, J ^b  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b ALL SOULS COLLEGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0034557555     PISSN: 00159018     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1026406502316     Document Type: Article

References (14)

1. C. J. Isham and J. Butterfield, "A topos perspective on the Kochen-Specker theorem: I. Quantum states as generalised valuations," Internat. J. Theoret. Phys. 37, 2669-2733 (1998), quant-ph/980355.
2. J. Butterfield and C. J. Isham, "A topos perspective on the Kochen-Specker theorem: II. Conceptual aspects, and classical analogues," Internat. J. Theoret. Phys. 38, 827-859 (1999), quant-ph/9808067.
3. J. Hamilton, C. J. Isham, and J. Butterfield, "A topos perspective on the Kochen-Specker theorem: III. Von Neumann algebras as the base category," forthcoming in Internat. J. Theoret. Phys. (2000), quant-ph/9911020.
4. S. Kochen and E. Specker, "The problem of hidden variables in quantum mechanics," J. Math. Mech. 17, 59-87 (1967).
5. G. Birkhoff and J. von Neumann, "The logic of quantum mechanics," Ann. Math. 37, 823-843 (1936).
6. M. L. Dalla Chiara and R. Giuntini, "Quantum logics," in Handbook of Philosophical Logic, D. Gabbay and F. Guenthner, eds. (Kluwer Academic, Dordrecht, to appear).
7. M. L. Dalla Chiara and R. Giuntini, "Unsharp quantum logics," Found. Phys. 24, 1161-1177 (1994).
8. G. Cattaneo and F. Laudisa, "Axiomatic unsharp quantum logis," Found. Phys. 24, 631-684 (1994).
9. J. Butterfield and C. J. Isham, "Spacetime and the philosophical challenge of quantum gravity," in Physics meets Philosopliy at the Planck Scale, C. Callender and N. Huggett, eds. (Cambridge University Press, Cambridge, 2000), gr-qc 9903072.
10. M. Farrukh, "Application of nonstandard analysis to quantum mechanics," J. Math. Phys. 16, 177-200 (1975).
11. R. Lavendhomme, Basic Concepts of Synthetic Differential Geometry (Kluwer, Dordrecht, 1996).
12. K. Savvidou, "The action operator for continuous-time histories," forthcoming in J. Math. Phys., gr-qc 9811078.
13. F. Markopoulou, "The internal description of a causal set: What the universe looks like from the inside," forthcoming, gr-qc 9811053.
14. C. J. Isham, "Quantum logic and the consistent histories approach to quantum theory," J. Math. Phys. 23, 2157-2185 (1994).