Logical quantization of differential geometry

DOI10.1007/BF02082931zbMath0846.18005WikidataQ115392819 ScholiaQ115392819MaRDI QIDQ1910872

Hirokazu Nishimura

Publication date: 22 September 1996

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

zbMATH Keywords

algebraic groupsdifferential geometrysheavesmanualsmooth topoiorthogonal categoryBoolean localeBoolean topos theoryempirical setlogical quantization

Mathematics Subject Classification ID

Noncommutative topology (46L85) Noncommutative differential geometry (46L87) Categorical logic, topoi (03G30) Topoi (18B25) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Geometric quantization (53D50) Quantum logic (03G12) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Related Items (5)

Logical quantization of topos theory ⋮ The logical quantization of algebraic groups ⋮ Theory of microcubes ⋮ Logical quantizations of first-order structures ⋮ Empirical quantum mechanics

Cites Work

• 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
• A classification of type I \(AW^*\)-algebras and Boolean valued analysis
• Topoi. The categorial analysis of logic
• Constructivism in mathematics. An introduction. Volume I
• Boolean transfer from coherent quantum logics to quantum logics with continuous superselection rules
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• A relativity principle in quantum mechanics
• Representations of empirical set theories
• On the duality between Boolean-valued analysis and reduction theory under the assumption of separability
• Manuals in orthogonal categories
• Empirical sets
• The logical quantization of algebraic groups
• Logical quantization of topos theory
• A Transfer Principle from Von Neumann Algebras to AW^∗ -Algebras
• Commutative regular rings and Boolean-valued fields
• Boolean valued Lie algebras
• Differential Topology
• Two Applications of Logic to Mathematics
• Operational Statistics. I. Basic Concepts
• Operational statistics. II. Manuals of operations and their logics
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Non-standard analysis
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Logical quantization of differential geometry