Ordinal arithmetic and natural arithmetic
| dc.rights.license | CC-BY-NC-ND | |
| dc.contributor.advisor | Oosten, J. van | |
| dc.contributor.author | Dijkstra, Q.T. | |
| dc.date.accessioned | 2021-09-06T18:00:21Z | |
| dc.date.available | 2021-09-06T18:00:21Z | |
| dc.date.issued | 2020 | |
| dc.identifier.uri | https://studenttheses.uu.nl/handle/20.500.12932/799 | |
| dc.description.abstract | Starting with the definition of an ordinal number, we develop some of the elementary theory of ordinals, with a focus on ordinal arithmetic. We investigate some of the algebraic and order-theoretic properties of ordinal addition, multiplication, and exponentiation. We then make use of these properties to prove the basis representation theorem for ordinals. This in turn allows us to define first the Cantor normal form and then the operations of natural addition and natural multiplication for ordinals. We briefly compare the algebraic properties of conventional ordinal arithmetic to those of natural arithmetic. In the appendices we briefly discuss the construction of the least infinite ordinal as well as a proof of the transfinite recursion theorem for ordinals. | |
| dc.description.sponsorship | Utrecht University | |
| dc.format.extent | 442145 | |
| dc.format.mimetype | application/pdf | |
| dc.language.iso | en | |
| dc.title | Ordinal arithmetic and natural arithmetic | |
| dc.type.content | Bachelor Thesis | |
| dc.rights.accessrights | Open Access | |
| dc.subject.keywords | basis representation theorem,Cantor normal form,Hessenberg arithmetic,least infinite ordinal,natural addition,natural arithmetic,natural multiplication,ordinal,ordinals,ordinal addition,ordinal arithmetic,ordinal exponentiation,ordinal multiplication,ordinal number,ordinal numbers,transfinite induction,transfinite recursion | |
| dc.subject.courseuu | Wiskunde |