Key points are not available for this paper at this time.
We show that the extension of Presburger arithmetic by a quadratic generalised polynomial of a specific form is undecidable.
Share your take
Add a clinician perspective alongside expert commentary.
Jakub Konieczny (Wed,) studied this question.