Labels for non-individuals? (Q812040)

Although quantum objects which share their properties are indistinguishable, they are not identical. This philosophical issue needs to be mathematically clarified, since classical logic does not imply any difference between indistinguishability and identity. An approach, called quasi-set theory, has been developed by some authors, including the author of the paper under review. Quasi-set theory is an extension of Zermelo-Fraenkel set theory, that allows to talk about certain undistinguishable objects that are not identical. Such indistinguishable objects are called non-individuals. In the paper under review the authors introduce an algorithm which allows to label indistinguishable objects in the context of quasi-set theory. Some applications of the quasi-set theory, conclusions and still open problems have also been discussed.