تقرير
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 |
| الوصف غير متاح. |