REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

  1. Repozytorium Uniwersytetu w Białymstoku
  2. Czasopisma naukowe / Journals
  3. Formalized Mathematics
  4. Formalized Mathematics, 2019, Volume 27, Issue 2

Szukanie zaawansowane
  • Zespoły i Kolekcje


  • Zaloguj się
  • Zarejestruj się
  • Mój RUB
  • FAQ
  • Polityka
  • Regulamin
  • DOI
  • Instrukcja
  • Aspekty prawne
  • Open Access
  • Archiwum


  • Kontakt
  • O Dspace
  • Strona Biblioteki
  • Strona Uczelni



    • Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/8133
    Pełny rekord metadanych
    Pole DCWartośćJęzyk
    dc.contributor.authorKoch, Sebastian-
    dc.date.accessioned2019-07-29T08:28:49Z-
    dc.date.available2019-07-29T08:28:49Z-
    dc.date.issued2019-
    dc.identifier.citationFormalized Mathematics, Volume 27, Issue 2, Pages 139 - 152-
    dc.identifier.issn1426-2630-
    dc.identifier.urihttp://hdl.handle.net/11320/8133-
    dc.description.abstractIn [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.-
    dc.language.isoen-
    dc.publisherDeGruyter Open-
    dc.subjectordinal numbers-
    dc.subjectCantor normal form-
    dc.subjectHessenberg sum-
    dc.subjectnatural sum-
    dc.subject03E10-
    dc.subject68T99-
    dc.subject03B35-
    dc.titleNatural Addition of Ordinals-
    dc.typeArticle-
    dc.identifier.doi10.2478/forma-2019-0015-
    dc.description.AffiliationJohannes Gutenberg University, Mainz, Germany-
    dc.description.referencesAlexander Abian. The theory of sets and transfinite arithmetic. Saunders mathematics books. Saunders, Philadelphia [u.a.], 1965.-
    dc.description.referencesHeinz Bachmann. Transfinite Zahlen. Ergebnisse der Mathematik und ihrer Grenzgebiete, (1). Springer, Berlin [u.a.], 2., neubearb. aufl. edition, 1967.-
    dc.description.referencesGrzegorz Bancerek. Epsilon numbers and Cantor normal form. Formalized Mathematics, 17(4):249–256, 2009. doi:10.2478/v10037-009-0032-8.-
    dc.description.referencesGeorg Cantor. Beiträge zur begründung der transfiniten mengenlehre. Mathematische Annalen, 49(2):207–246, 1897.-
    dc.description.referencesOliver Deiser. Einführung in die Mengenlehre: die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo. Springer, Berlin [u.a.], 2., verb. und erw. aufl. edition, 2004. ISBN 3-540-20401-6.-
    dc.description.referencesAdam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Four decades of Mizar. Journal of Automated Reasoning, 55(3):191–198, 2015. doi:10.1007/s10817-015-9345-1.-
    dc.description.referencesPiotr Rudnicki and Andrzej Trybulec. Multivariate polynomials with arbitrary number of variables. Formalized Mathematics, 9(1):95–110, 2001.-
    dc.description.referencesWacław Sierpiński. Cardinal and ordinal numbers. Polska Akademia Nauk. Monografie matematyczne, (34) (in Polish). PWN, Warszawa, 2. ed., rev edition, 1965.-
    dc.description.referencesTetsuya Tsunetou, Grzegorz Bancerek, and Yatsuka Nakamura. Zero-based finite sequences. Formalized Mathematics, 9(4):825–829, 2001.-
    dc.identifier.eissn1898-9934-
    dc.description.volume27-
    dc.description.issue2-
    dc.description.firstpage139-
    dc.description.lastpage152-
    dc.identifier.citation2Formalized Mathematics-
    dc.identifier.orcid0000-0002-9628-177X-
    Występuje w kolekcji(ach):Formalized Mathematics, 2019, Volume 27, Issue 2

    Pliki w tej pozycji:
    Plik Opis RozmiarFormat 
    forma_2019_27_2_006.pdf255,5 kBAdobe PDFOtwórz
    Pokaż uproszczony widok rekordu Zobacz statystyki


    Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons