3 papers
cs.LO2025
Decidability of Extensions of Presburger Arithmetic by Hardy Field Functions
Hera Brown, Jakub Konieczny
We study the extension of Presburger arithmetic by the class of sub-polynomial Hardy field functions, and show the majority of these extensions to be undecidable. More precisely, w…
math.NT2025
On the growth of hypergeometric sequences
George Kenison, Jakub Konieczny, Florian Luca +3
Hypergeometric sequences obey first-order linear recurrence relations with polynomial coefficients and are commonplace throughout the mathematical and computational sciences. For c…
math.NT2023
Arithmetical subword complexity of automatic sequences
Jakub Konieczny, Clemens Müllner
We fully classify automatic sequences over a finite alphabet with the property that each word over appears is along an arithmetic progression. Using the terminology…