Empirical sets

DOI10.1007/BF00672804zbMath0830.18005OpenAlexW4255803247MaRDI QIDQ1891471

Hirokazu Nishimura

Publication date: 28 January 1996

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

Full work available at URL: https://doi.org/10.1007/bf00672804

zbMATH Keywords

quantum mechanicsBoolean localescategory of sheaves of sheaves of abelian groupsempirical set theorymanuals of operationsorthogonal categorysheaves of Hilbert spaces

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Quantum logic (03G12) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Related Items (4)

Logical quantization of topos theory ⋮ The logical quantization of algebraic groups ⋮ Logical quantization of differential geometry ⋮ Logical quantizations of first-order structures

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Empirical set theory
• Topoi. The categorial analysis of logic
• On the duality between Boolean-valued analysis and reduction theory under the assumption of separability
• Manuals in orthogonal categories
• Empirical algebraic 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: Empirical sets