On a quasi-set theory (Q1203768): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1305/ndjfl/1093634404 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2018421420 / rank
 
Normal rank

Revision as of 23:42, 19 March 2024

scientific article
Language Label Description Also known as
English
On a quasi-set theory
scientific article

    Statements

    On a quasi-set theory (English)
    0 references
    0 references
    22 February 1993
    0 references
    In modern physics there are apparent paradoxes concerning the identity or distinguishability of elementary particles. The author constructs a set theory \(S^*\) that takes this into account by allowing the presence of a certain kind of Urelement (called an \(m\)-atom) which does not obey the usual laws of identity. In addition to the usual apparatus of quantification theory, \(S^*\) has three unary predicate letters \({\mathfrak m}(x)\) (``\(x\) is an \(m\)-atom''), \({\mathfrak M}(x)\) (``\(x\) is an ordinary Urelement''), and \(\mathbb{Z}(x)\) (``\(x\) is a standard set, that is, the transitive closure of \(x\) contains no \(m\)-atoms''). There are two predicate letters, \(\in\) (membership) and, instead of \(=\), an indistinguishability relation \(\equiv\). Lastly, there is a unary function symbol qcard (quasicardinality). A quasiset is defined to be anything that is not an \(m\)-atom or an ordinary Urelement, and the axioms imply that anything that has a member is a quasiset and that all standard sets are quasisets. Suitable axioms are assumed so that the theory ZFU of sets with Urelements in interpretable in \(S^*\). (The replacement and choice axioms seem to be stated improperly, but the mistakes can be easily rectified.) For non-\(m\)-atoms, the relation \(\equiv\) satisfies the usual properties of an identity relation. The quasicardinal operation generalizes the usual cardinality operation to arbitrary quasisets; this is necessary because the usual connection between cardinality and one-one correspondences does not apply to quasisets.
    0 references
    set theory for modern particle physics
    0 references
    quasicardinality
    0 references
    Urelement
    0 references
    \(m\)- atom
    0 references
    quantification theory
    0 references
    indistinguishability relation
    0 references
    quasiset
    0 references

    Identifiers