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)2025
Decidability of extensions of Presburger arithmetic by generalised polynomialsArticle

Authors: Jakub Konieczny

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

    https://doi.org/10.46298/lmcs-21(4:1)2025
    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
    Licence: Attribution 4.0 International (CC BY 4.0)

    Share and export

    Consultation statistics

    This page has been seen 504 times.
    This article's PDF has been downloaded 251 times.