An Infinite Natural Product

Lipparini, Paolo

doi:10.1515/amsil-2017-0013

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.

References

[1] Altman H., Intermediate arithmetic operations on ordinal numbers, MLQ Math. Log. Q. 63 (2017), no. 3-4, 228-242.
Search in Google Scholar Back to article
[2] Bachmann H., Transfinite Zahlen. Zweite, neubearbeitete Auflage, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 1, Springer-Verlag, Berlin-New York, 1967.
Search in Google Scholar Back to article
[3] Berline Ch., Lascar D., Superstable groups, Stability in model theory (Trento, 1984), Ann. Pure Appl. Logic 30 (1986), 1-43.10.1016/0168-0072(86)90035-7
Open DOI Search in Google Scholar Back to article
[4] Blass A., Gurevich Y., Program termination and well partial orderings, ACM Trans. Comput. Log. 9 (2008), Art. 18, 26 pp.10.1145/1352582.1352586
Search in Google Scholar Back to article
[5] Brookfield G., The length of Noetherian polynomial rings, Comm. Algebra 31 (2003), 5591-5607.10.1081/AGB-120023976
Open DOI Search in Google Scholar Back to article
[6] Carruth P.W., Arithmetic of ordinals with applications to the theory of ordered Abelian groups, Bull. Amer. Math. Soc. 48 (1942), 262-271.10.1090/S0002-9904-1942-07649-X
Open DOI Search in Google Scholar Back to article
[7] Chatyrko V.A., Ordinal products of topological spaces, Fund. Math. 144 (1994), 95-117.10.4064/fm-144-2-95-117
Search in Google Scholar Back to article
[8] Conway J.H., On numbers and games, London Mathematical Society Monographs, No. 6, Academic Press, London-New York, 1976.
Search in Google Scholar Back to article
[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.1007/s00407-005-0102-4
Open DOI Search in Google Scholar Back to article
[10] Harris D., Semirings and T1 compactifications. I, Trans. Amer. Math. Soc. 188 (1974), 241-258.
Search in Google Scholar Back to article
[11] Harzheim E., Ordered sets, Advances in Mathematics 7, Springer, New York, 2005.
Search in Google Scholar Back to article
[12] Hausdorff F., Mengenlehre, Dritte Auflage, Walter de Gruyter & Co., Berlin-Leipzig, 1935.
Search in Google Scholar Back to article
[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.10.1016/1385-7258(77)90067-1
Search in Google Scholar Back to article
[14] Lipparini P., An infinite natural sum, MLQ Math. Log. Q. 62 (2016), 249-257.10.1002/malq.201500017
Search in Google Scholar Back to article
[15] Lipparini P., Some transfinite natural sums, Preprint 2016, arXiv:1509.04078v2.
Search in Google Scholar Back to article
[16] Lipparini P., Some transfinite natural products, in preparation.
Search in Google Scholar Back to article
[17] Matsuzaka K., On the definition of the product of ordinal numbers, Sûgaku 8 (1956/1957), 95-96 (in Japanese).
Search in Google Scholar Back to article
[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.10.1007/978-94-009-5315-4_14
Search in Google Scholar Back to article
[19] Sierpinski W., Sur les séries infinies de nombres ordinaux, Fund. Math. 36 (1949), 248-253.10.4064/fm-36-1-248-253
Search in Google Scholar Back to article
[20] Sierpinski W., Sur les produits infinis de nombres ordinaux, Soc. Sci. Lett. Varsovie. C. R. Cl. III. Sci. Math. Phys. 43 (1950), 20-24.
Search in Google Scholar Back to article
[21] Sierpinski W., Cardinal and ordinal numbers, Second revised edition, Monografie Matematyczne Vol. 34, Panstwowe Wydawnictwo Naukowe, Warsaw, 1965.
Search in Google Scholar Back to article
[22] Simpson S.G., Ordinal numbers and the Hilbert basis theorem, J. Symbolic Logic 53 (1988), 961-974.10.2307/2274585
Search in Google Scholar Back to article
[23] Toulmin G.H., Shuffling ordinals and transfinite dimension, Proc. London Math. Soc. 4 (1954), 177-195.10.1112/plms/s3-4.1.177
Open DOI Search in Google Scholar Back to article
[24] Väänänen J., Wang T., An Ehrenfeucht-Fraïssé game for L_w1w, MLQ Math. Log. Q. 59 (2013), 357-370.10.1002/malq.201200104
Search in Google Scholar Back to article
[25] Wang T., An Ehrenfeucht-Fraïssé game for L_w1w, MSc Thesis, Universiteit van Amsterdam, 2012.
Search in Google Scholar Back to article
[26] Wolk E.S., Partially well ordered sets and partial ordinals, Fund. Math. 60 (1967) 175-186.10.4064/fm-60-2-175-186
Search in Google Scholar Back to article

An Infinite Natural Product

Abstract

Paradigm

My account