Decidability of extensions of Presburger arithmetic by generalised polynomials
Jakub Konieczny
公開日: 2024/2/15
Abstract
We show that the extension of Presburger arithmetic by a quadratic generalised polynomial of a specific form is undecidable.
Jakub Konieczny
公開日: 2024/2/15
We show that the extension of Presburger arithmetic by a quadratic generalised polynomial of a specific form is undecidable.