Empirical set theory

DOI10.1007/BF00675196zbMath0779.03020MaRDI QIDQ689299

Hirokazu Nishimura

Publication date: 30 November 1993

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Related Items (10)

Representations of empirical set theories ⋮ Logical quantization of topos theory ⋮ Manuals in orthogonal categories ⋮ Empirical sets ⋮ Empirical algebraic geometry ⋮ The logical quantization of algebraic groups ⋮ Logical quantization of differential geometry ⋮ Logical quantizations of first-order structures ⋮ Empirical quantum mechanics ⋮ Quantum number theory

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Realistic quantum probability
• Minimally generated Boolean algebras
• Topoi. The categorial analysis of logic
• Orthomodular structures as quantum logics. Transl. from the Slovak
• Boolean transfer from coherent quantum logics to quantum logics with continuous superselection rules
• Empirical logic and quantum mechanics
• A relativity principle in quantum mechanics
• Laminations, or how to build a quantum-logic-valued model of set theory
• On the duality between Boolean-valued analysis and reduction theory under the assumption of separability
• Probability in physics and a theorem on simultaneous observability
• Two Applications of Logic to Mathematics
• Operational Statistics. I. Basic Concepts
• Operational statistics. II. Manuals of operations and their logics
• Equivalences of Measure Spaces

This page was built for publication: Empirical set theory