CANTORIAN SET THEORY
The Bulletin of Symbolic Logic
Cambridge University Press
MetadataShow full item record
Oliver, A., & SMILEY, T. (2018). CANTORIAN SET THEORY. The Bulletin of Symbolic Logic, 24 (4), 393-451. https://doi.org/10.1017/bsl.2018.10
Almost all set theorists pay at least lip service to Cantor’s definition of a set as a collection of many things into one whole; but empty and singleton sets do not fit with it. Adapting Dana Scott’s axiomatization of the cumulative theory of types, we present a ‘Cantorian’ system which excludes these anomalous sets. We investigate the consequences of their omission, examining their claim to a place on grounds of convenience, and asking whether their absence is an obstacle to the theory’s ability to represent ordered pairs or to support the arithmetization of analysis or the development of the theory of cardinals and ordinals.
External DOI: https://doi.org/10.1017/bsl.2018.10
This record's URL: https://www.repository.cam.ac.uk/handle/1810/278901