An axiomatic approach to the ordinal number system

dc.contributor.advisorJanelidze, Zuraben_ZA
dc.contributor.authorVan der Berg, Inekeen_ZA
dc.contributor.otherStellenbosch University. Faculty of Science. Dept. of Mathematical Sciences. Division Mathematics.en_ZA
dc.date.accessioned2021-03-06T12:36:30Z
dc.date.accessioned2021-04-21T14:31:07Z
dc.date.available2021-03-06T12:36:30Z
dc.date.available2021-04-21T14:31:07Z
dc.date.issued2021-03
dc.descriptionThesis (MSc)--Stellenbosch University, 2021.en_ZA
dc.description.abstractENGLISH ABSTRACT: Ordinal numbers are transfinite generalisations of natural numbers, and are usually defined and studied concretely as special types of sets. In this thesis we explore an abstract approach to developing the theory of ordinal numbers, where we present various axiomatisations of an ordinal number system and prove their equivalence. Since ordinal numbers do not form a set, in order to develop such a theory one needs to extend the usual framework of Zermelo-Fraenkel set theory. Among several such possible extensions, we pick the one that is based on the notion of a Grothendieck universe. While some of the results obtained in this thesis are merely adaptations of known results to this context, some others are new even to classical set theory. Among these is a definition and a universal property of the ordinal number system that mimics the classical Dedekind-Peano approach to the natural number system.en_ZA
dc.description.abstractAFRIKAANSE OPSOMMING: Ordinaalgetalle is transfiniete veralgemenings van die telgetalle, en word gewoonlik konkreet gedefinieer en bestudeer as spesiale soorte stelle. In hierdie tesis ondersoek ons ’n abstrakte benadering tot die ontwikkeling van ordinaalgetalteorie, waarin ons verskeie aksiomatiserings van ordinaalgetalstelsels gee, en hul ekwivalensie bewys. Aangesien ordinaalgetalle nie ’n stel vorm nie, is dit nodig om die standaard raamwerk van Zermelo-Fraenkel stelteorie uit te brei om so ’n teorie te kan ontwikkel. Vanuit verskeie moontlike raamwerke kies ons een wat op die idee van ’n Grothendieck universum gebaseer is. Alhoewel sommige van die bevindings in hierdie tesis slegs aanpassings van bekende bevindings na hierdie konteks is, is ander nuut selfs in klassieke stelteorie. Die nuwe bevindings sluit ’n definisie en universele eienskap van die ordinaalgetalstelsel in, wat die klassieke Dedekind-Peano benadering tot die telgetalstelsel naboots.af_ZA
dc.description.versionMastersen_ZA
dc.format.extentvi, 75 pagesen_ZA
dc.identifier.urihttp://hdl.handle.net/10019.1/109901
dc.language.isoen_ZAen_ZA
dc.publisherStellenbosch : Stellenbosch Universityen_ZA
dc.rights.holderStellenbosch Universityen_ZA
dc.subjectAlexandrov topologyen_ZA
dc.subjectCategories (Mathematics)en_ZA
dc.subjectDedikind sumsen_ZA
dc.subjectGrothendieck categoriesen_ZA
dc.subjectNumbers, Naturalen_ZA
dc.subjectSet theoryen_ZA
dc.subjectNumbers, Ordinalen_ZA
dc.subjectTransfinite numbersen_ZA
dc.subjectAxiomatic set theoryen_ZA
dc.subjectUCTD
dc.titleAn axiomatic approach to the ordinal number systemen_ZA
dc.typeThesisen_ZA
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
vanderberg_axiomatic_2021.pdf
Size:
1.17 MB
Format:
Adobe Portable Document Format
Description:
License bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
license.txt
Size:
1.71 KB
Format:
Plain Text
Description: