Applications of geometric logic to topos approaches to quantum theory

  • Vickers, Steven (Principal Investigator)

Project Details

Short titleApplications of geometric logic to topos approaches to quantum theory
StatusFinished
Effective start/end date1/09/09 → 31/08/12

Funding

  • Engineering & Physical Science Research Council

Fingerprint

Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
View full fingerprint
  • 2 Conference contribution

  • Gelfand Spectra in Grothendieck Toposes using Geometric Mathematics

    Spitters, B., Vickers, S. & Wolters, S., 2014, Proceedings 9th Workshop on Quantum Physics and Logic (QPL2012). Duncan, R. & Panangaden, P. (eds.). Open Publishing Association, Vol. 158. p. 77-107 31 p. (EPTCS; vol. 158).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    2 Citations (Scopus)
    160 Downloads (Pure)

  • The Born Rule as Structure of Spectral Bundles

    Fauser, B., Raynaud, G. & Vickers, S., 2012, Proceedings of the 8th International Workshop on Quantum Physics and Logic, Nijmegen 2011. Jacobs, B., Selinger, P. & Spitters, B. (eds.). Vol. 95. p. 81-90 10 p. (EPTCS; vol. 95).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    74 Downloads (Pure)