Towards a paraconsistent quantum set theory

MaRDI QIDQ5015195zbMATH OpenFDO

Authors Benjamin Eva

Publication date 6 December 2021

Full work available at URL https://arxiv.org/abs/1511.01571, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2015.12

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Nonclassical and second-order set theories (03E70)

Abstract: 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 Doring, 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.

Recommendations

• Quantum set theory
• A topos theoretic framework for paraconsistent quantum theory
• scientific article; zbMATH DE number 1377709
• Modality and contextuality in topos quantum theory
• Transfer principle in quantum set theory

Cites work

• ``What is a thing?: topos theory in the foundations of physics
• A lattice-valued set theory
• scientific article; zbMATH DE number 5910780 (Why is no real title available?)
• scientific article; zbMATH DE number 4130376 (Why is no real title available?)
• scientific article; zbMATH DE number 3664922 (Why is no real title available?)
• Quantum set theory extending the standard probabilistic interpretation of quantum theory (extended abstract)
• Self-adjoint operators as functions. I: Lattices, Galois connections, and the spectral order
• Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
• Transfer principle in quantum set theory
• Transfinite numbers in paraconsistent set theory

Cited in

(12)

• Quantum set theory
• Reforming Takeuti's quantum set theory to satisfy De Morgan's laws
• Quantum set theory: transfer principle and De Morgan's laws
• Set-theoretical models for quantum systems
• A completeness theorem of quantum set theory
• A topos theoretic framework for paraconsistent quantum theory
• Consistent Sets Yield Contrary Inferences in Quantum Theory
• scientific article; zbMATH DE number 6917933 (Why is no real title available?)
• Orthomodular-valued models for quantum set theory
• A BRIDGE BETWEEN Q-WORLDS
• Quantum set theory: quantum conditionals and order of observables
• Logical characterization of contextual hidden-variable theories based on quantum set theory

This page was built for publication: Towards a paraconsistent quantum set theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5015195)