References

1. Huzihiro Araki (1999): Mathematical theory of quantum fields. International Series of Monographs on Physics 101. Oxford University Press, New York.
2. Bernhard Banaschewski & Christopher J. Mulvey (2000): The spectral theory of commutative C*-algebras: the constructive Gelfand-Mazur theorem. Quaestiones Mathematicae 23(4), pp. 465–488, doi:10.2989/16073600009485990.
3. Bernhard Banaschewski & Christopher J. Mulvey (2000): The spectral theory of commutative C*-algebras: the constructive spectrum. Quaestiones Mathematicae 23(4), pp. 425–464, doi:10.2989/16073600009485989.
4. Bernhard Banaschewski & Christopher J. Mulvey (2006): A globalisation of the Gelfand duality theorem. Annals of Pure and Applied Logic 137(1–3), pp. 62–103, doi:10.1016/j.apal.2005.05.018.
5. Romeo Brunetti, Klaus Fredenhagen & Rainer Verch (2003): The generally covariant locality principle—a new paradigm for local quantum field theory. Comm. Math. Phys. 237(1-2), pp. 31–68, doi:10.1007/s00220-003-0815-7. Dedicated to Rudolf Haag.
6. Jeremy Butterfield & Chris J. Isham (1999): A topos perspective on the Kochen-Specker theorem: II. Conceptual Aspects and Classical Analogues. International Journal of Theoretical Physics 38(3), pp. 827–859, doi:10.1023/A:1026652817988.
7. Jeremy Butterfield & Chris J. Isham (2002): A topos perspective on the Kochen-Specker theorem: IV. Interval Valuations. International Journal of Theoretical Physics 41(4), pp. 613–639, doi:10.1023/A:1015276209768.
8. Martijn Caspers, Chris Heunen, Nicolaas P. Landsman & Bas Spitters (2009): Intuitionistic Quantum Logic of an n-level System. Foundations of Physics 39, pp. 731–759, doi:10.1007/s10701-009-9308-7.
9. Thierry Coquand (2005): About Stone's Notion of Spectrum. Journal of Pure and Applied Algebra 197, pp. 141–158, doi:10.1016/j.jpaa.2004.08.024.
10. Thierry Coquand & Bas Spitters (2009): Constructive Gelfand duality for C*-algebras. Mathematical Proceedings of the Cambridge Philosophical Society 147(2), pp. 339–344, doi:10.1017/S0305004109002515. ArXiv:0808.1518.
11. Thierry Coquand & Bas Spitters (2009): Integrals and Valuations. Journal of Logic and Analysis 1(3), pp. 1–22, doi:10.4115/jla.2009.1.3.
12. Andreas Döring (2012): Flows on Generalised Gelfand Spectra of Nonabelian Unital C^-Algebras and Time Evolution of Quantum Systems. Available at http://arxiv.org/abs/1212.4882.
13. Andreas Döring (2012): Generalised Gelfand Spectra of Nonabelian Unital C^*-Algebras. Available at http://arxiv.org/abs/1212.2613.
14. Andreas Döring & John Harding (2010): Abelian subalgebras and the Jordan structure of a von Neumann algebra. Available at http://arxiv.org/abs/1009.4945.
15. Andreas Döring & Chris Isham (2011): `What is a Thing?': Topos Theory in the Foundations of Physics. In: Bob Coecke: New Structures in Physics, chapter 13, Lecture Notes in Physics 813. Springer, pp. 753–940, doi:10.1007/978-3-642-12821-9_13. ArXiv:0803.0417.
16. Bertfried Fauser, Guillaume Raynaud & Steven Vickers (2012): The Born Rule as Structure of Spectral Bundles. In: Bart Jacobs, Peter Selinger & Bas Spitters: Proceedings of the 8th International Workshop on Quantum Physics and Logic, Nijmegen 2011, EPTCS 95, pp. 81–90, doi:10.4204/EPTCS.95.8.
17. Rudolf Haag (1996): Local Quantum Physics: Fields, Particles, Algebras, second edition, Texts and Monographs in Physics. Springer-Verlag, Berlin, doi:10.1007/978-3-642-61458-3.
18. Jan Hamhalter (2011): Isomorphisms of ordered structures of abelian C^\begingroupłet [Pleaseinsert\PrerenderUnicode∗intopreamble]-subalgebras of C^\begingroupłet [Pleaseinsert\PrerenderUnicode∗intopreamble]-algebras. J. Math. Anal. Appl. 383, pp. 391–399, doi:10.1016/j.jmaa.2011.05.035.
19. Jan Hamhalter & Ekaterina Turilova (2013): Structure of associative subalgebras of Jordan operator algebras. The Quarterly Journal of Mathematics 64(2), pp. 397–408, doi:10.1093/qmath/has015.
20. John Hamilton, Chris J. Isham & Jeremy Butterfield (2000): A topos perspective on the Kochen-Specker theorem: III. Von Neumann Algebras as the Base Category. International Journal of Theoretical Physics 39(6), pp. 1413–1436, doi:10.1023/A:1003667607842.
21. Chris Heunen, Klaas Landsman & Bas Spitters (2009): A topos for algebraic quantum theory. Communications in mathematical physics 291(1), pp. 63–110, doi:10.1007/s00220-009-0865-6. ArXiv:0709.4364.
22. Chris Heunen, Nicolaas P. Landsman & Bas Spitters (2011): Bohrification. In: Hans Halvorson: Deep Beauty. Cambridge University Press, pp. 271–313, doi:10.1017/CBO9780511976971.008. ArXiv:0909.3468.
23. Chris Heunen, Nicolaas P. Landsman & Bas Spitters (2012): Bohrification of operator algebras and quantum logic. Synthese 186, pp. 719–752, doi:10.1007/s11229-011-9918-4.
24. J.M.E. Hyland (1981): Function Spaces in the Category of Locales. In: B. Banaschewski & R.-E. Hoffmann: Continuous Lattices: Proceedings, Bremen, 1979, Lecture Notes in Mathematics 871. Springer-Verlag, pp. 264–281, doi:10.1007/BFb0089910.
25. Chris J. Isham & Jeremy Butterfield (1998): A topos perspective on the Kochen-Specker theorem: I. Quantum States as Generalized Valuations. International Journal of Theoretical Physics 37(11), pp. 2669–2733, doi:10.1023/A:1026680806775.
26. I.M. James (1989): Fibrewise Topology. Cambridge Tracts in Mathematics 91. Cambridge University Press, Cambridge, doi:10.1017/CBO9780511896835.
27. Peter T. Johnstone (1984): Open locales and exponentiation. In: J.W. Gray: Mathematical Applications of Category Theory, Contemporary Mathematics 30. American Mathematical Society, pp. 84–116, doi:10.1090/conm/030/749770.
28. Peter T. Johnstone & André Joyal (1982): Continuous categories and exponentiable toposes. Journal of Pure and Applied Algebra 25(3), pp. 255–296, doi:10.1016/0022-4049(82)90083-4.
29. P.T. Johnstone (1982): Stone Spaces. Cambridge Studies in Advanced Mathematics 3. Cambridge University Press.
30. P.T. Johnstone (2002): Sketches of an Elephant: A Topos Theory Compendium, vol. 1. Oxford Logic Guides 44. Oxford University Press.
31. P.T. Johnstone (2002): Sketches of an Elephant: A Topos Theory Compendium, vol. 2. Oxford Logic Guides 44. Oxford University Press.
32. André Joyal & Miles Tierney (1984): An extension of the Galois theory of Grothendieck. Memoirs of the American Mathematical Society 51(309), doi:10.1090/memo/0309.
33. Saunders Mac Lane & Ieke Moerdijk (1992): Sheaves in Geometry and Logic. Springer, doi:10.1007/978-1-4612-0927-0.
34. I. Moerdijk (1986): Continuous Fibrations and Inverse Limits of Toposes. Compositio Mathematica 58, pp. 45–72. Available at http://www.numdam.org/item?id=CM_1986__58_1_45_0.
35. Joost Nuiten (2011): Bohrification of local nets of observables. Utrecht. Available at http://arxiv.org/abs/1109.1397.
36. Erik Palmgren & Steven Vickers (2007): Partial Horn Logic and Cartesian Categories. Annals of Pure and Applied Logic 145(3), pp. 314–353, doi:10.1016/j.apal.2006.10.001.
37. Bas Spitters (2012): The Space of Measurement Outcomes as a Spectral Invariant for Non-Commutative Algebras. Foundations of Physics 42, pp. 896–908, doi:10.1007/s10701-011-9619-3.
38. S.J. Vickers & C.F. Townsend (2004): A Universal Characterization of the Double Powerlocale. Theoretical Computer Science 316, pp. 297–321, doi:10.1016/j.tcs.2004.01.034.
39. Steven Vickers (1989): Topology via Logic. Cambridge University Press.
40. Steven Vickers (1993): Information Systems for Continuous Posets. Theoretical Computer Science 114, pp. 201–229, doi:10.1016/0304-3975(93)90072-2.
41. Steven Vickers (2004): The Double Powerlocale and Exponentiation: A Case Study in Geometric Reasoning. Theory and Applications of Categories 12, pp. 372–422. Available at http://www.tac.mta.ca/tac/index.html#vol12.
42. Steven Vickers (2004): Entailment Systems for Stably Locally Compact Locales. Theoretical Computer Science 316, pp. 259–296, doi:10.1016/j.tcs.2004.01.033.
43. Steven Vickers (2005): Localic Completion of Generalized Metric Spaces I. Theory and Applications of Categories 14, pp. 328–356. Available at http://www.tac.mta.ca/tac/index.html#vol14.
44. Steven Vickers (2006): Compactness in Locales and in Formal Topology. Annals of Pure and Applied Logic 137, pp. 413–438, doi:10.1016/j.apal.2005.05.028.
45. Steven Vickers (2007): Locales and Toposes as Spaces. In: Marco Aiello, Ian E. Pratt-Hartmann & Johan F.A.K. van Benthem: Handbook of Spatial Logics, chapter 8. Springer, pp. 429–496, doi:10.1007/978-1-4020-5587-4_8.
46. Steven Vickers (2009): Localic Completion of Generalized Metric Spaces II: Powerlocales. Journal of Logic and Analysis 1(11), pp. 1–48, doi:10.4115/jla.2009.1.11.
47. Steven Vickers (2011): A Monad of Valuation Locales. Available at http://www.cs.bham.ac.uk/~sjv/Riesz.pdf.
48. Steven Vickers (2014): Continuity and Geometric Logic. Journal of Applied Logic 12(1), pp. 14–27, doi:10.1016/j.jal.2013.07.004.
49. K. Viglas (2004): Topos Aspects of the Extended Priestley Duality. Department of Computing, Imperial College, London.
50. Sander Wolters (2013): A Comparison of Two Topos-Theoretic Approaches to Quantum Theory.. Communications in Mathematical Physics 317(1), pp. 3–53, doi:10.1007/s00220-012-1652-3. ArXiv:1010.2031.
51. Sander A.M. Wolters & Hans Halvorson (2013): Independence Conditions for Nets of Local Algebras as Sheaf Conditions. Available at http://arxiv.org/abs/1309.5639.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org