Manuals in orthogonal categories
From MaRDI portal
Publication:1891470
DOI10.1007/BF00672803zbMath0830.18004MaRDI QIDQ1891470
Publication date: 28 January 1996
Published in: International Journal of Theoretical Physics (Search for Journal in Brave)
quantum mechanicsBoolean localescategory of sheaves of sheaves of abelian groupsempirical set theorymanuals of operationsorthogonal categorysheaves of Hilbert spaces
Categorical logic, topoi (03G30) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)
Related Items (6)
Logical quantization of topos theory ⋮ Empirical sets ⋮ The logical quantization of algebraic groups ⋮ Logical quantization of differential geometry ⋮ Logical quantizations of first-order structures ⋮ Empirical quantum mechanics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Boolean valued interpretation of Hilbert space theory
- Empirical set theory
- An approach to the dimension theory of continuous geometry from the standpoint of Boolean valued analysis
- Boolean valued decomposition theory of states
- A classification of type I \(AW^*\)-algebras and Boolean valued analysis
- Boolean transfer from coherent quantum logics to quantum logics with continuous superselection rules
- Representations of empirical set theories
- On the duality between Boolean-valued analysis and reduction theory under the assumption of separability
- Empirical algebraic geometry
- A Transfer Principle from Von Neumann Algebras to AW∗ -Algebras
- Some connections between boolean valued analysis and topological reduction theory for C*-algebras
- Boolean valued Lie algebras
- Two Applications of Logic to Mathematics
- Operational Statistics. I. Basic Concepts
- Operational statistics. II. Manuals of operations and their logics
This page was built for publication: Manuals in orthogonal categories
