Ordinal semigroups
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.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.28419
curl -X POST /api/v1/records/arxiv/2605.28419/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.28419/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'