{"id":"arxiv/2605.28419","url":"https://arxiv.org/abs/2605.28419","tags":["math.LO","math.GR","math.RA"],"score":0,"title":"Ordinal semigroups","domain":"math.LO","source":"arxiv","authors":["Paolo Lipparini"],"reviews":0,"subject":"math.LO","summary":"In a previous paper we introduced a version of associativity for a partial infinitary operation. We prove here that if $γ$ is an infinite ordinal and some associative infinitary operation is defined for all sequences indexed by ordinals $ \\leq γ$, then such an operation can be uniquely expanded to apply to every sequence indexed by any ordinal of cardinality $ |γ|$. In particular, if some associative operation is defined for all finite sequences as well as for all $ ω$-indexed sequences, then the operation can be uniquely expanded to apply to every sequence indexed by a countable ordinal.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-27","reactions":{}}