2 papers
math.NT2024
Multiplicative generalised polynomial sequences
Jakub Konieczny
We fully classify completely multiplicative sequences which are given by generalised polynomial formulae, and obtain a similar result for (not necessarily completely) multiplicativ…
math.NT2024
Decidability of extensions of Presburger arithmetic by generalised polynomials
Jakub Konieczny
We show that the extension of Presburger arithmetic by a quadratic generalised polynomial of a specific form is undecidable.