Submission date: 21 April 2024

Abstract:

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.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 2404.13661: pdf, ps.