TY  - RPRT
TI  - Unary counting quantifiers do not increase the expressive power of Presburger aritmetic: an alternative shorter proof
AU  - Christian Choffrut
PY  - 2024
UR  - https://arxiv.org/abs/2410.06822
ID  - 2410.06822
ER  -