Switch to: References

Add citations

You must login to add citations.
  1. Orthomodular-valued models for quantum set theory.Masanao Ozawa - 2017 - Review of Symbolic Logic 10 (4):782-807.
    In 1981, Takeuti introduced quantum set theory by constructing a model of set theory based on quantum logic represented by the lattice of closed linear subspaces of a Hilbert space in a manner analogous to Boolean-valued models of set theory, and showed that appropriate counterparts of the axioms of Zermelo–Fraenkel set theory with the axiom of choice hold in the model. In this paper, we aim at unifying Takeuti’s model with Boolean-valued models by constructing models based on general complete orthomodular (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Quantum set theory: Transfer Principle and De Morgan's Laws.Masanao Ozawa - 2021 - Annals of Pure and Applied Logic 172 (4):102938.
    In quantum logic, introduced by Birkhoff and von Neumann, De Morgan's Laws play an important role in the projection-valued truth value assignment of observational propositions in quantum mechanics. Takeuti's quantum set theory extends this assignment to all the set-theoretical statements on the universe of quantum sets. However, Takeuti's quantum set theory has a problem in that De Morgan's Laws do not hold between universal and existential bounded quantifiers. Here, we solve this problem by introducing a new truth value assignment for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark