Empirical sets

DOI10.1007/BF00672804MaRDI QIDQ1891471zbMATH OpenOpenAlexFDO

Authors 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

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

Cites work

• scientific article; zbMATH DE number 192841 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• scientific article; zbMATH DE number 3304085 (Why is no real title available?)
• scientific article; zbMATH DE number 3399453 (Why is no real title available?)
• scientific article; zbMATH DE number 3411031 (Why is no real title available?)
• Empirical algebraic geometry
• Empirical set theory
• Manuals in orthogonal categories
• On the duality between Boolean-valued analysis and reduction theory under the assumption of separability
• Operational Statistics. I. Basic Concepts
• Operational statistics. II. Manuals of operations and their logics
• Topoi. The categorial analysis of logic
• Two Applications of Logic to Mathematics

Cited in

(4)

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

This page was built for publication: Empirical sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1891471)