@misc{indiciaeb691febfdb69,
  title = {Equational theory of ordinals with addition and left multiplication by \$ω\$},
  author = {Christian Choffrut},
  year = {2025},
  doi = {10.46298/fi.13734},
  url = {https://arxiv.org/abs/2404.13661},
  note = {Source identifier: 2404.13661}
}