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 Hessenberg sum is a better alternative, since it shares most of the usual properties of the addition on the naturals. A countably infinite iteration of the natural sum has been used in a recent paper by Väänänen and Wang, with applications to infinitary logics. We present a detailed study of this infinitary operation, showing that there are many similarities with the ordinary infinitary sum, providing an order theoretical characterization, and finding connections with certain kinds of infinite mixed sums.
Lipparini, P. (2016). An infinite natural sum. MATHEMATICAL LOGIC QUARTERLY, 62(3), 249-257 [10.1002/malq.201500017].
An infinite natural sum
LIPPARINI, PAOLO
2016-01-01
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 Hessenberg sum is a better alternative, since it shares most of the usual properties of the addition on the naturals. A countably infinite iteration of the natural sum has been used in a recent paper by Väänänen and Wang, with applications to infinitary logics. We present a detailed study of this infinitary operation, showing that there are many similarities with the ordinary infinitary sum, providing an order theoretical characterization, and finding connections with certain kinds of infinite mixed sums.File | Dimensione | Formato | |
---|---|---|---|
view.pdf
accesso aperto
Descrizione: preprint
Licenza:
Non specificato
Dimensione
197.14 kB
Formato
Adobe PDF
|
197.14 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.