An infinite natural product



Abstract

We study a countably infinite iteration of the natural product between ordinals. We present an “effective” way to compute this countable natural product; in the non trivial cases the result depends only on the natural sum of the degrees of the factors, where the degree of a nonzero ordinal is the largest exponent in its Cantor normal form representation. Thus we are able to lift former results about infinitary sums to infinitary products. Finally, we provide an order-theoretical characterization of the infinite natural product; this characterization merges in a nontrivial way a theorem by Carruth describing the natural product of two ordinals and a known description of the ordinal product of a possibly infinite sequence of ordinals.


Keywords

ordinal number; (infinite) (natural) product, sum; (locally) finitely Carruth extension

1. Altman H., Intermediate arithmetic operations on ordinal numbers, MLQ Math. Log. Q. 63 (2017), no. 3–4, 228–242.
2. Bachmann H., Transfinite Zahlen. Zweite, neubearbeitete Auflage, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 1, Springer-Verlag, Berlin–New York, 1967.
3. Berline Ch., Lascar D., Superstable groups, Stability in model theory (Trento, 1984), Ann. Pure Appl. Logic 30 (1986), 1–43.
4. Blass A., Gurevich Y., Program termination and well partial orderings, ACM Trans. Comput. Log. 9 (2008), Art. 18, 26 pp.
5. Brookfield G., The length of Noetherian polynomial rings, Comm. Algebra 31 (2003), 5591–5607.
6. Carruth P.W., Arithmetic of ordinals with applications to the theory of ordered Abelian groups, Bull. Amer. Math. Soc. 48 (1942), 262–271.
7. Chatyrko V.A., Ordinal products of topological spaces, Fund. Math. 144 (1994), 95–117.
8. Conway J.H., On numbers and games, London Mathematical Society Monographs, No. 6, Academic Press, London–New York, 1976.
9. Ehrlich P., The rise of non-Archimedean mathematics and the roots of a misconception. I: The emergence of non-Archimedean systems of magnitudes, Arch. Hist. Exact Sci. 60 (2006), 1–121.
10. Harris D., Semirings and T_1 compactifications. I, Trans. Amer. Math. Soc. 188 (1974), 241–258.
11. Harzheim E., Ordered sets, Advances in Mathematics 7, Springer, New York, 2005.
12. Hausdorff F., Mengenlehre, Dritte Auflage, Walter de Gruyter & Co., Berlin–Leipzig, 1935.
13. de Jongh D.H.J., Parikh R., Well-partial orderings and hierarchies, Nederl. Akad. Wetensch. Proc. Ser. A 80 = Indag. Math. 39 (1977), 195–207.
14. Lipparini P., An infinite natural sum, MLQ Math. Log. Q. 62 (2016), 249–257.
15. Lipparini P., Some transfinite natural sums, Preprint 2016, arXiv:1509.04078v2.
16. Lipparini P., Some transfinite natural products, in preparation.
17. Matsuzaka K., On the definition of the product of ordinal numbers, Sûgaku 8 (1956/1957), 95–96 (in Japanese).
18. Milner E.C., Basic wqo- and bqo-theory, in: I. Rival, Graphs and order. The role of graphs in the theory of ordered sets and its applications. Proceedings of the NATO Advanced Study Institute held in Banff, Alta., May 18–31, 1984, NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci., 147, D. Reidel Publishing Co., Dordrecht, 1985, pp. 487–502.
19. Sierpiński W., Sur les séries infinies de nombres ordinaux, Fund. Math. 36 (1949), 248–253.
20. Sierpiński W., Sur les produits infinis de nombres ordinaux, Soc. Sci. Lett. Varsovie. C. R. Cl. III. Sci. Math. Phys. 43 (1950), 20–24.
21. Sierpiński W., Cardinal and ordinal numbers, Second revised edition, Monografie Matematyczne Vol. 34, Państwowe Wydawnictwo Naukowe, Warsaw, 1965.
22. Simpson S.G., Ordinal numbers and the Hilbert basis theorem, J. Symbolic Logic 53 (1988), 961–974.
23. Toulmin G.H., Shuffling ordinals and transfinite dimension, Proc. London Math. Soc. 4 (1954), 177–195.
24. Väänänen J., Wang T., An Ehrenfeucht-Fraïssé game for $\mathcal{L}_{ω_1ω}$, MLQ Math. Log. Q. 59 (2013), 357–370.
25. Wang T., An Ehrenfeucht-Fraïssé game for $\mathcal{L}_{ω_1ω}$, MSc Thesis, Universiteit van Amsterdam, 2012.
26. Wolk E.S., Partially well ordered sets and partial ordinals, Fund. Math. 60 (1967) 175–186.
Download

Published : 2018-01-31


LippariniP. (2018). An infinite natural product. Annales Mathematicae Silesianae, 32, 247-262. Retrieved from https://www.journals.us.edu.pl/index.php/AMSIL/article/view/13924

Paolo Lipparini  lipparin@axp.mat.uniroma2.it
Dipartimento Produttivo di Matematica, Viale della Ricerca Scientifica, Università di Roma “Tor Vergata”, Italy  Italy



The Copyright Holders of the submitted text are the Author and the Journal. The Reader is granted the right to use the pdf documents under the provisions of the Creative Commons 4.0 International License: Attribution (CC BY). The user can copy and redistribute the material in any medium or format and remix, transform, and build upon the material for any purpose.

  1. License
    This journal provides immediate open access to its content under the Creative Commons BY 4.0 license (http://creativecommons.org/licenses/by/4.0/). Authors who publish with this journal retain all copyrights and agree to the terms of the above-mentioned CC BY 4.0 license.
  2. Author’s Warranties
    The author warrants that the article is original, written by stated author/s, has not been published before, contains no unlawful statements, does not infringe the rights of others, is subject to copyright that is vested exclusively in the author and free of any third party rights, and that any necessary written permissions to quote from other sources have been obtained by the author/s.
  3. User Rights
    Under the Creative Commons Attribution license, the users are free to share (copy, distribute and transmit the contribution) and adapt (remix, transform, and build upon the material) the article for any purpose, provided they attribute the contribution in the manner specified by the author or licensor.
  4. Co-Authorship
    If the article was prepared jointly with other authors, the signatory of this form warrants that he/she has been authorized by all co-authors to sign this agreement on their behalf, and agrees to inform his/her co-authors of the terms of this agreement.