Quantum set theory: transfer principle and De Morgan's laws
DOI10.1016/j.apal.2020.102938zbMath1467.03016arXiv2002.06692OpenAlexW3005820681MaRDI QIDQ2659103
Publication date: 25 March 2021
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2002.06692
orthomodular latticesZFCquantum logicimplicationcommutatorBoolean-valued modelsDe Morgan's lawstransfer principlequantum set theoryorthomodular-valued models
Applications of selfadjoint operator algebras to physics (46L60) Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Applications of set theory (03E75) Nonclassical and second-order set theories (03E70) Quantum logic (03G12) Other aspects of forcing and Boolean-valued models (03E40)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Boolean valued interpretation of Hilbert space theory
- Spectral order for unbounded operators
- On a Boolean power of a torsion free Abelian group
- Boolean valued analysis and type I \(AW^*\)-algebras
- A classification of type I \(AW^*\)-algebras and Boolean valued analysis
- Orthomodularity and relevance
- Material implications in orthomodular (and Boolean) lattices
- Von Neumann algebras and Boolean valued analysis
- An axiom system for the modular logic
- Commutators and decompositions of orthomodular lattices
- Forcing in nonstandard analysis
- On some new operations on orthomodular lattices
- Quantum set theory extending the standard probabilistic interpretation of quantum theory
- Quantum reality and measurement: a quantum logical approach
- The commutator and solvability in a generalized orthomodular lattice
- A theory of computation based on quantum logic. I
- A Transfer Principle from Von Neumann Algebras to AW∗ -Algebras
- Commutative regular rings and Boolean-valued fields
- Abstract Theory of Abelian Operator Algebras: An Application of Forcing
- Boolean simple groups and boolean simple rings
- A transfer principle in harmonic analysis
- Boolean valued Lie algebras
- Two Applications of Logic to Mathematics
- ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY
- Nonuniqueness of the Cardinality Attached to Homogeneous AW ∗ -Algebras
- Scott incomplete Boolean ultrapowers of the real line
- Operational Meanings of Orders of Observables Defined through Quantum Set Theories with Different Conditionals
- Towards a Paraconsistent Quantum Set Theory
- Transfer principle in quantum set theory
- Sasaki projections on orthocomplemented posets
- THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
- The Selfadjoint Operators of a Von Neumann Algebra Form a Conditionally Complete Lattice
