Empirical set theory

DOI10.1007/BF00675196MaRDI QIDQ689299zbMATH OpenFDO

Authors Hirokazu Nishimura

Publication date 30 November 1993

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

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

zbMATH Keywords

observablesBoolean localic toposescomplete Boolean algebra of observable eventsgeometric morphismsScott-Solovay universes

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Topoi (18B25) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Recommendations

• Empirical quantum mechanics
• Boolean coverings of quantum observable structure: a setting for an abstract differential geometric mechanism
• Manuals in orthogonal categories
• Representations of empirical set theories
• Interpreting observables in a quantum world from the categorial standpoint

Cites work

• scientific article; zbMATH DE number 3123490 (Why is no real title available?)
• scientific article; zbMATH DE number 3652325 (Why is no real title available?)
• scientific article; zbMATH DE number 192841 (Why is no real title available?)
• scientific article; zbMATH DE number 3456908 (Why is no real title available?)
• scientific article; zbMATH DE number 3536053 (Why is no real title available?)
• scientific article; zbMATH DE number 3549200 (Why is no real title available?)
• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• scientific article; zbMATH DE number 3250482 (Why is no real title available?)
• scientific article; zbMATH DE number 3304085 (Why is no real title available?)
• scientific article; zbMATH DE number 3411031 (Why is no real title available?)
• A relativity principle in quantum mechanics
• Boolean transfer from coherent quantum logics to quantum logics with continuous superselection rules
• Empirical logic and quantum mechanics
• Equivalences of Measure Spaces
• Laminations, or how to build a quantum-logic-valued model of set theory
• Minimally generated Boolean algebras
• 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
• Orthomodular structures as quantum logics. Transl. from the Slovak
• Probability in physics and a theorem on simultaneous observability
• Realistic quantum probability
• Topoi. The categorial analysis of logic
• Two Applications of Logic to Mathematics

Cited in

(12)

• Logical quantization of differential geometry
• Logical quantization of topos theory
• Empirical sets
• Empirical algebraic geometry
• The logical quantization of algebraic groups
• Empirical quantum mechanics
• Logical quantizations of first-order structures
• Quantum number theory
• scientific article; zbMATH DE number 1191242 (Why is no real title available?)
• Representations of empirical set theories
• \(\Omega\)-sets and empirical sets revisited
• Manuals in orthogonal categories

This page was built for publication: Empirical set theory

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