The logical quantization of algebraic groups

DOI10.1007/BF00671015zbMath0846.18004MaRDI QIDQ1897598

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

Categorical logic, topoi (03G30) Topoi (18B25) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Algebraic groups (14L99)

Related Items (4)

Logical quantization of topos theory ⋮ 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Empirical set theory
• An approach to the dimension theory of continuous geometry from the standpoint of Boolean valued analysis
• Topoi. The categorial analysis of logic
• Boolean transfer from coherent quantum logics to quantum logics with continuous superselection rules
• Representations of empirical set theories
• Manuals in orthogonal categories
• Empirical sets
• Logical quantization of differential geometry
• 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: The logical quantization of algebraic groups