Orthomodular-valued models for quantum set theory
From MaRDI portal
Publication:4600827
Boolean-valued modelscommutatorforcingimplicationorthomodular latticesquantum logicquantum set theorytransfer principlevon Neumann algebras
Nonclassical and second-order set theories (03E70) Applications of set theory (03E75) Quantum logic (03G12) Complemented lattices, orthocomplemented lattices and posets (06C15) Applications of selfadjoint operator algebras to physics (46L60) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)
Abstract: 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 (ZFC) 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 lattices, and generalizing the transfer principle in Boolean-valued models, which asserts that every theorem in ZFC set theory holds in the models, to a general form holding in every orthomodular-valued model. One of the central problems in this program is the well-known arbitrariness in choosing a binary operation for implication. To clarify what properties are required to obtain the generalized transfer principle, we introduce a class of binary operations extending the implication on Boolean logic, called generalized implications, including even non-polynomially definable operations. We study the properties of those operations in detail and show that all of them admit the generalized transfer principle. Moreover, we determine all the polynomially definable operations for which the generalized transfer principle holds. This result allows us to abandon the Sasaki arrow originally assumed for Takeuti's model and leads to a much more flexible approach to quantum set theory.
Recommendations
Cites work
- A lattice-valued set theory
- An axiom system for the modular logic
- Commutators and decompositions of orthomodular lattices
- scientific article; zbMATH DE number 2184445 (Why is no real title available?)
- scientific article; zbMATH DE number 3645093 (Why is no real title available?)
- scientific article; zbMATH DE number 3948346 (Why is no real title available?)
- scientific article; zbMATH DE number 3652330 (Why is no real title available?)
- scientific article; zbMATH DE number 3685540 (Why is no real title available?)
- scientific article; zbMATH DE number 3574077 (Why is no real title available?)
- scientific article; zbMATH DE number 3807678 (Why is no real title available?)
- scientific article; zbMATH DE number 3289430 (Why is no real title available?)
- scientific article; zbMATH DE number 3382539 (Why is no real title available?)
- scientific article; zbMATH DE number 3411031 (Why is no real title available?)
- scientific article; zbMATH DE number 3088093 (Why is no real title available?)
- Implication connectives in orthomodular lattices
- Material implications in orthomodular (and Boolean) lattices
- Orthomodularity and relevance
- Perfect correlations between noncommuting observables
- Quantum perfect correlations
- Quantum set theory
- Quantum set theory extending the standard probabilistic interpretation of quantum theory
- The commutator and solvability in a generalized orthomodular lattice
- THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
- Transfer principle in quantum set theory
Cited in
(15)- Constructing illoyal algebra-valued models of set theory
- Reforming Takeuti's quantum set theory to satisfy De Morgan's laws
- ZF between classicality and non-classicality
- Quantum set theory: transfer principle and De Morgan's laws
- Nondistributivity of human logic and violation of response replicability effect in cognitive psychology
- Set-theoretical models for quantum systems
- scientific article; zbMATH DE number 2063229 (Why is no real title available?)
- scientific article; zbMATH DE number 1377709 (Why is no real title available?)
- Twist-valued models for three-valued paraconsistent set theory
- A paraconsistent logic obtained from an algebra-valued model 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
- Logical characterization of contextual hidden-variable theories based on quantum set theory
This page was built for publication: Orthomodular-valued models for quantum set theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4600827)
