@misc{indiciae69ed7418ee4f,
  title = {Unary counting quantifiers do not increase the expressive power of Presburger aritmetic: an alternative shorter proof},
  author = {Christian Choffrut},
  year = {2024},
  url = {https://arxiv.org/abs/2410.06822},
  note = {Source identifier: 2410.06822}
}