Decidability of extensions of Presburger arithmetic by generalised polynomials

Abstract

We show that the extension of Presburger arithmetic by a quadratic generalised polynomial of a specific form is undecidable.