TY  - RPRT
TI  - Equational theory of ordinals with addition and left multiplication by $ω$
AU  - Christian Choffrut
PY  - 2025
DO  - 10.46298/fi.13734
UR  - https://arxiv.org/abs/2404.13661
ID  - 2404.13661
ER  -