References & Citations
Mathematics > Logic
Title: Equational theory of ordinals with addition and left multiplication by $ω$
(Submitted on 21 Apr 2024)
Abstract: We show that the equational theory of the structure $\langle \omega^{\omega}: (x,y)\mapsto x+y, x\mapsto \omega x \rangle $ is finitely axiomatizable and give a simple axiom schema when the domain is the set of transfinite ordinals.
Submission history
From: Christian Choffrut [view email][v1] Sun, 21 Apr 2024 13:31:50 GMT (13kb,D)
Link back to: arXiv, form interface, contact.