Finite enumerable but undecidable collections
classification
🪐 quant-ph
keywords
extensionfinitetheorycollectionsdecidablediscussenumerableknown
read the original abstract
It is well known that in Zermelo-Fraenkel (ZF) set theory any finite set is decidable. In this paper we discuss an extension of ZF where this result is no longer valid. Such an extension is quasi-set theory and it has its origin on problems motivated by quantum mechanics.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.