<abstract xmlns="http://www.w3.org/1999/xhtml"><p>In [3] the existence of the Cantor normal form of ordinals was proven in the Mizar system [6]. In this article its uniqueness is proven and then used to formalize the natural sum of ordinals.</p></abstract>

In [3] the existence of the Cantor normal form of ordinals was proven in the Mizar system [6]. In this article its uniqueness is proven and then used to formalize the natural sum of ordinals.

Natural Addition of Ordinals

Formalized Mathematics

This work is licensed under a Creative Commons Attribution Share-Alike 4.0 License.

{"article-title":"Natural Addition of Ordinals"}

In [3] the existence of the Cantor normal form of ordinals was proven in the Mizar system [6]. In this article its uniqueness is proven and then used to...

Natural Addition of Ordinals

Published Online: Jul 20, 2019

Page range: 139 - 152

Accepted: May 27, 2019

DOI: https://doi.org/10.2478/forma-2019-0015

Keywords
ordinal numbers, Cantor normal form, Hessenberg sum, natural sum

© 2019 Sebastian Koch, published by Sciendo

This work is licensed under a Creative Commons Attribution Share-Alike 4.0 License.

Natural Addition of Ordinals

Published Online: Jul 20, 2019

Page range: 139 - 152

Accepted: May 27, 2019

DOI: https://doi.org/10.2478/forma-2019-0015

Keywordsordinal numbers, Cantor normal form, Hessenberg sum, natural sum

© 2019 Sebastian Koch, published by Sciendo

This work is licensed under a Creative Commons Attribution Share-Alike 4.0 License.

Keywords
ordinal numbers, Cantor normal form, Hessenberg sum, natural sum