Empirical set theory
From MaRDI portal
Publication:689299
DOI10.1007/BF00675196zbMATH Open0779.03020MaRDI QIDQ689299FDOQ689299
Publication date: 30 November 1993
Published in: International Journal of Theoretical Physics (Search for Journal in Brave)
observablesBoolean localic toposescomplete Boolean algebra of observable eventsgeometric morphismsScott-Solovay universes
Nonclassical and second-order set theories (03E70) Topoi (18B25) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)
Cites Work
- Topoi. The categorial analysis of logic
- Empirical logic and quantum mechanics
- Minimally generated Boolean algebras
- Orthomodular structures as quantum logics. Transl. from the Slovak
- Equivalences of Measure Spaces
- Realistic quantum probability
- Operational Statistics. I. Basic Concepts
- Two Applications of Logic to Mathematics
- Operational statistics. II. Manuals of operations and their logics
- Boolean transfer from coherent quantum logics to quantum logics with continuous superselection rules
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (11)
- 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
- Title not available (Why is that?)
- Representations of empirical set theories
- Manuals in orthogonal categories
- Logical quantization of differential geometry
Recommendations
- Boolean coverings of quantum observable structure: a setting for an abstract differential geometric mechanism 👍 👎
- Interpreting observables in a quantum world from the categorial standpoint 👍 👎
- Representations of empirical set theories 👍 👎
- Manuals in orthogonal categories 👍 👎
- Empirical quantum mechanics 👍 👎
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)
