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

Boolean localescategory of sheaves of sheaves of abelian groupsempirical set theorymanuals of operationsorthogonal categoryquantum mechanicssheaves of Hilbert spaces

Mathematics Subject Classification ID

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

Review text

See the paper reviewed above.

Cites work

• Empirical algebraic geometry
• Empirical set theory
• 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?)
• 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)

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

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)