Unary counting quantifiers do not increase the expressive power of Presburger aritmetic: an alternative shorter proof
<|reference_start|>Unary counting quantifiers do not increase the expressive power of Presburger aritmetic: an alternative shorter proof: This work was presented in June 5-7, 2017 at the conference "Journ\'{e}es sur les Arithm\'{e}tiques Faibles -- Weak Arithmetics Days" held in Saint-Pertersburg of which no proceeding was ever published. It was not a new result but showed that a different approach is possible. The paper presented at ICALP 2024 addresses, among other problems, the complexity issues which were ignored in my 2017 talk.<|reference_end|>
@article{choffrut2024unary,
    title={Unary counting quantifiers do not increase the expressive power of
  Presburger aritmetic: an alternative shorter proof},
    author={Christian Choffrut},
    journal={arXiv preprint arXiv:2410.06822},
    year={2024},
    archivePrefix={arXiv},
    eprint={2410.06822},
    primaryClass={cs.LO}
}