We show that the equational theory of the structure ωω: (x,y)↦ x+y, x↦ ω x is finitely axiomatizable and give a simple axiom schema when the domain is the set of transfinite ordinals.
No takes yet. Share an insight, caveat, or question.
Christian Choffrut (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: