Transfer principle in quantum set theory
From MaRDI portal
Abstract: In 1981, Takeuti introduced quantum set theory as the quantum counterpart of Boolean valued models of set theory by constructing a model of set theory based on quantum logic represented by the lattice of closed subspaces in a Hilbert space and showed that appropriate quantum counterparts of ZFC axioms hold in the model. Here, Takeuti's formulation is extended to construct a model of set theory based on the logic represented by the lattice of projections in an arbitrary von Neumann algebra. A transfer principle is established that enables us to transfer theorems of ZFC to their quantum counterparts holding in the model. The set of real numbers in the model is shown to be in one-to-one correspondence with the set of self-adjoint operators affiliated with the von Neumann algebra generated by the logic. Despite the difficulty pointed out by Takeuti that equality axioms do not generally hold in quantum set theory, it is shown that equality axioms hold for any real numbers in the model. It is also shown that any observational proposition in quantum mechanics can be represented by a corresponding statement for real numbers in the model with the truth value consistent with the standard formulation of quantum mechanics, and that the equality relation between two real numbers in the model is equivalent with the notion of perfect correlation between corresponding observables (self-adjoint operators) in quantum mechanics. The paper is concluded with some remarks on the relevance to quantum set theory of the choice of the implication connective in quantum logic.
Recommendations
- Quantum set theory: transfer principle and De Morgan's laws
- scientific article; zbMATH DE number 3853062
- Quantum set theory
- Quantum sets
- A completeness theorem of quantum set theory
- Quantum set theory extending the standard probabilistic interpretation of quantum theory
- A set theoretical approach for the partial tracing operation in quantum mechanics
- scientific article; zbMATH DE number 1377709
- A transference method in quantum probability
- Set-theoretical models for quantum systems
Cited in
(21)- Quantum set theory extending the standard probabilistic interpretation of quantum theory
- Constructing illoyal algebra-valued models of set theory
- A category of quantum posets
- Reforming Takeuti's quantum set theory to satisfy De Morgan's laws
- Quantum reality and measurement: a quantum logical approach
- Quantum set theory: transfer principle and De Morgan's laws
- Nondistributivity of human logic and violation of response replicability effect in cognitive psychology
- 10th Asian Logic Conference
- Orthomodular-valued models for quantum set theory
- Quantum set theory extending the standard probabilistic interpretation of quantum theory (extended abstract)
- Twist-valued models for three-valued paraconsistent set theory
- Operational meanings of orders of observables defined through quantum set theories with different conditionals
- Towards a paraconsistent quantum set theory
- Quantum sets
- Generalized algebra-valued models of set theory
- The geometry of discrete \(L\)-algebras
- A BRIDGE BETWEEN Q-WORLDS
- A natural deduction system for orthomodular logic
- Quantum set theory: quantum conditionals and order of observables
- Relating quasi-sets and rough sets: from quantum entities to AI
- Logical characterization of contextual hidden-variable theories based on quantum set theory
This page was built for publication: Transfer principle in quantum set theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5294029)
