Equational theory of ordinals with addition and left multiplication by $\omega$

Christian Choffrut

We show that the equational theory of the structure $⟨{\omega }^{\omega }:(x,y)\mapsto x+y,x\mapsto \omega x⟩$ is finitely axiomatizable and give a simple axiom schema when the domain i…