Show simple item record

dc.contributor.authorOliver, Alexanderen
dc.contributor.authorSMILEY, TIMOTHYen
dc.date.accessioned2018-08-16T16:49:14Z
dc.date.available2018-08-16T16:49:14Z
dc.date.issued2018-12en
dc.identifier.issn1079-8986
dc.identifier.urihttps://www.repository.cam.ac.uk/handle/1810/278901
dc.description.abstractAlmost 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.
dc.description.sponsorshipNone
dc.languageenen
dc.publisherCambridge University Press
dc.titleCANTORIAN SET THEORYen
dc.typeArticle
prism.endingPage451
prism.issueIdentifier4en
prism.publicationDate2018en
prism.publicationNameThe Bulletin of Symbolic Logicen
prism.startingPage393
prism.volume24en
dc.identifier.doi10.17863/CAM.26282
dcterms.dateAccepted2018-02-02en
rioxxterms.versionofrecord10.1017/bsl.2018.10en
rioxxterms.versionAM*
rioxxterms.licenseref.urihttp://www.rioxx.net/licenses/all-rights-reserveden
rioxxterms.licenseref.startdate2018-12en
dc.identifier.eissn1943-5894
rioxxterms.typeJournal Article/Reviewen
cam.issuedOnline2019-01-02en
rioxxterms.freetoread.startdate2019-08-16


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record