<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

Published Online: Apr 06, 2021

Page range: 239 - 249

Accepted: Sep 25, 2020

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

Keywords
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

Published Online: Apr 06, 2021

Page range: 239 - 249

Accepted: Sep 25, 2020

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

Keywordscardinal, sequence, extended natural numbers

© 2020 Sebastian Koch, published by Sciendo

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

Keywords
cardinal, sequence, extended natural numbers