Presburger算术由广义多项式扩展的可判定性
Decidability of extensions of Presburger arithmetic by generalised polynomials
AI总结：
本文证明了特定形式的二次广义多项式扩展Presburger算术导致不可判定性。
摘要：
我们证明了Presburger算术通过特定形式的二次广义多项式的扩展是不可判定的。
英文摘要：
We show that the extension of Presburger arithmetic by a quadratic generalised polynomial of a specific form is undecidable.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
