Decidability of Extensions of Presburger Arithmetic by Hardy Field Functions

Hera Brown, Jakub Konieczny

We study the extension of Presburger arithmetic by the class of sub-polynomial Hardy field functions, and show the majority of these extensions to be undecidable. More precisely, w…