<abstract xmlns="http://www.w3.org/1999/xhtml"><p>This article introduces extended natural numbers, i.e. the set ℕ ∪ {+∞}, in Mizar [4], [3] and formalizes a way to list a cardinal numbers of cardinals. Both concepts have applications in graph theory.</p></abstract>

This article introduces extended natural numbers, i.e. the set ℕ ∪ {+∞}, in Mizar [4], [3] and formalizes a way to list a cardinal numbers of cardinals. Both concepts have applications in graph theory.

Extended Natural Numbers and Counters

Formalized Mathematics

This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.

{"article-title":"Extended Natural Numbers and Counters"}

This article introduces extended natural numbers, i.e. the set ℕ ∪ {+∞}, in Mizar [4], [3] and formalizes a way to list a cardinal numbers of cardinals. Both...

Extended Natural Numbers and Counters

Online veröffentlicht: 06. Apr. 2021

Seitenbereich: 239 - 249

Akzeptiert: 25. Sept. 2020

DOI: https://doi.org/10.2478/forma-2020-0021

Schlüsselwörter
cardinal, sequence, extended natural numbers

© 2020 Sebastian Koch, published by Sciendo

This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.

Extended Natural Numbers and Counters

Online veröffentlicht: 06. Apr. 2021

Seitenbereich: 239 - 249

Akzeptiert: 25. Sept. 2020

DOI: https://doi.org/10.2478/forma-2020-0021

Schlüsselwörtercardinal, sequence, extended natural numbers

© 2020 Sebastian Koch, published by Sciendo

This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License.

Schlüsselwörter
cardinal, sequence, extended natural numbers