تقرير
Decidability of extensions of Presburger arithmetic by generalised polynomials
العنوان: | Decidability of extensions of Presburger arithmetic by generalised polynomials |
---|---|
المؤلفون: | Konieczny, Jakub |
سنة النشر: | 2024 |
المجموعة: | Mathematics |
مصطلحات موضوعية: | Mathematics - Number Theory, Mathematics - Logic, Primary: 11U05. Secondary: 03B10, 03B25, 11J54 |
الوصف: | We show that the extension of Presburger arithmetic by a quadratic generalised polynomial of a specific form is undecidable. Comment: 15 pages, comments welcome |
نوع الوثيقة: | Working Paper |
URL الوصول: | http://arxiv.org/abs/2402.09647 |
رقم الأكسشن: | edsarx.2402.09647 |
قاعدة البيانات: | arXiv |
الوصف غير متاح. |