Set-theoretical models for quantum systems

From MaRDI portal





This short, clear paper sets out a summary of how ``quasi-set theory might serve as a ``mathematical device for discussing quantum objects. Based on the work of Dalla Chiara, quasi-set theory S** is presented, in which two different or ``atomic elements are distinguished: M-atoms which behave like any elements, and m-atoms which do not satisfy the usual concepts of self-identity. A quasi-set is then defined as non-atomic, and two relations are distinguished, ``existentionally identical sets that have exactly the same elements, and a weaker relation of ``indistinguishability among m-atoms, that ``mirrors an equivalence relation. Having set out the definitions, this paper then ``translates the quasi-set theory into standard ZF set theory. It is hardly surprising that the stronger quasi-set theory makes some sort of sense of the ``very peculiar quantum results since these motivated the original definitions ``for example by definition no set has m-atoms as elements. Indistinguishability and substitutivity laws are similarly restricted in their application in the quasi-set framework, and so troublesome quantum statements will not arise. In this way the approach does provide a clear language and set-theoretic framework for discussing quantum theory. For example ``Due to the fact that m-objects cannot be labelled or named, it results that a quasi-set cannot be determined by its elements. Quasi-set theory is a kind of `semi-extensional' theory in this sense since what holds is a weaker form of the extensionality axiom\dots (p. 177). The paper contains references to several other papers by the same authors developing some of these concepts in greater detail.NEWLINENEWLINEFor the entire collection see [Zbl 0971.00011].











This page was built for publication: Set-theoretical models for quantum systems

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