 |
 |
Jakub Konieczny - Decidability of extensions of Presburger arithmetic by generalised polynomials
lmcs:14726 - Logical Methods in Computer Science, October 7, 2025, Volume 21, Issue 4 - https://doi.org/10.46298/lmcs-21(4:1)2025Decidability of extensions of Presburger arithmetic by generalised polynomialsArticle
We show that the extension of Presburger arithmetic by a quadratic generalised polynomial of a specific form is undecidable.
Source: arXiv.org:2402.09647
Volume: Volume 21, Issue 4
Published on: October 7, 2025
Accepted on: June 8, 2025
Submitted on: November 12, 2024
Keywords: Number Theory, Logic
Consultation statistics
This page has been seen 923 times.
This article's PDF has been downloaded 580 times.