An infinite natural sum

DOI10.1002/MALQ.201500017zbMATH Open1403.03082arXiv1501.05123OpenAlexW1606973528MaRDI QIDQ2813680FDOQ2813680

Paolo Lipparini

Publication date: 24 June 2016

Published in: Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

Abstract: As far as algebraic properties are concerned, the usual addition on the class of ordinal numbers is not really well behaved; for example, it is not commutative, nor left cancellative etc. In a few cases, the natural Hessemberg sum is a better alternative, since it shares most of the usual properties of the addition on the naturals. A countably infinite version of the natural sum has been used in a recent paper by V"a"an"anen and Wang, with applications to infinitary logics. We provide an order theoretical characterization of this operation. We show that this countable natural sum differs from the more usual infinite ordinal sum only for an initial finite "head" and agrees on the remaining infinite "tail". We show how to evaluate the countable natural sum just by computing a finite natural sum. Various kinds of infinite mixed sums of ordinals are discussed.

Full work available at URL: https://arxiv.org/abs/1501.05123

Recommendations

• Some transfinite natural sums
• An infinite natural product
• Sums of finitely many ordinals of various kinds
• Natural addition of ordinals
• A Theory of Operations on the Universe II. Infinitary Operations

Mathematics Subject Classification ID

Ordinal and cardinal numbers (03E10)

Cites Work

• The Absolute Arithmetic Continuum and the Unification Of all Numbers Great and Small
• Mischsummen von Ordnungszahlen
• Arithmetic of ordinals with applications to the theory of ordered Abelian groups
• An Ehrenfeucht-Fraïssé game for \(\mathcal L_{\omega_1\omega}\)
• Sur les séries infinies de nombres ordinaux
• Über Mischsummen von Ordnungszahlen

Cited In (3)

• Intermediate arithmetic operations on ordinal numbers
• On Carruth's axioms for natural sums and products
• An infinite natural product

This page was built for publication: An infinite natural sum

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2813680)