Towards a Paraconsistent Quantum Set Theory

Benjamin Eva
(University of Bristol)

In this paper, we will attempt to establish a connection between quantum set theory, as developed by Ozawa, Takeuti and Titani, and topos quantum theory, as developed by Isham, Butterfield and Döring, amongst others. Towards this end, we will study algebraic valued set-theoretic structures whose truth values correspond to the clopen subobjects of the spectral presheaf of an orthomodular lattice of projections onto a given Hilbert space. In particular, we will attempt to recreate, in these new structures, Takeuti's original isomorphism between the set of all Dedekind real numbers in a suitably constructed model of set theory and the set of all self adjoint operators on a chosen Hilbert space.

In Chris Heunen, Peter Selinger and Jamie Vicary: Proceedings of the 12th International Workshop on Quantum Physics and Logic (QPL 2015), Oxford, U.K., July 15-17, 2015, Electronic Proceedings in Theoretical Computer Science 195, pp. 158–169.
Published: 4th November 2015.

ArXived at: http://dx.doi.org/10.4204/EPTCS.195.12 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org