TY  - RPRT
TI  - Axiomatizations of Presburger Arithmetic With Predicates For Powers
AU  - Philipp Hieronymi
AU  - Michael Reitmeir
AU  - Xiaoduo Wang
PY  - 2026
UR  - https://arxiv.org/abs/2602.19602
ID  - 2602.19602
ER  -