Empirical set theory
We share with \textit{D. J. Foulis} and \textit{C. H. Randall} [J. Math. Phys. 13, 1667-1675 (1972; Zbl 0287.60002) and ibid. 14, 1472-1480 (1973; Zbl 0287.60003)] the conviction that it is not orthomodular posets or the like, but manuals of operations that are of primary significance in the foundations of empirical sciences. In contrast to them we regard an operation not as a set of possible outcomes but as a complete Boolean algebra of observable events, which we adopt, following the lines of \textit{M. Davis} [Int. J. Theor. Phys. 16, 867-874 (1978; Zbl 0392.03040)] and \textit{G. Takeuti} [Proc. Int. Symp. Found. Quantum Mechanics (S. Kamefuchi et al. (ed.)) Tokyo 1983, 256-260 (1984)], as a building block of our empirical set theory. Differing from \textit{L. N. Stout} [Manuscr. Math. 28, 379-403 (1979; Zbl 0409.03039)], we prefer geometric morphisms to logical morphisms as interconnecting machinery. Thus, just as a smooth manifold is a family of open subsets of a Euclidean space interconnected by smooth mappings, our empirical set theory is, roughly speaking, a family of Scott-Solovay universes \(V^{(B)}\) over complete Boolean algebras \(B\) interconnected by geometric morphisms. Using the nomenclature of topos theory, it is a subcategory of Boolean localic toposes and geometric morphisms, where two parallel geometric morphisms are identified provided that they are naturally equivalent. Thereof observables in the sense of quantum mechanics are identified with real numbers of our set theory.
- 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
- 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?)
- 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
- Representations of empirical set theories
- Quantum number 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
- Logical quantization of topos theory
- scientific article; zbMATH DE number 1191242 (Why is no real title available?)
- \(\Omega\)-sets and empirical sets revisited
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)
