@misc{indiciae18344db90be5, title = {Decidability of Extensions of Presburger Arithmetic by Hardy Field Functions}, author = {Hera Brown and Jakub Konieczny}, year = {2025}, url = {https://arxiv.org/abs/2508.19206}, note = {Source identifier: 2508.19206} }