Open Access

Natural Addition of Ordinals

Sebastian Koch

Koch, Sebastian

   | Jul 20, 2019

Formalized Mathematics

Volume 27 (2019): Issue 2 (July 2019)

About this article

Previous Article

Next Article

• Abstract
• References
• Authors
• Articles in this Issue

---

Preview

PDF

Cite

Share

Download Cover

---

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.

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.

Language:

English

Publication timeframe:

1 times per year

Journal Subjects:

Mathematics, General Mathematics, Computer Sciences, Computer Sciences, other

Journal RSS Feed

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.

Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy