On the $p$-adic Skolem Problem

Piotr Bacik, Joël Ouaknine, David Purser +1

The Skolem Problem asks to determine whether a given linear recurrence sequence (LRS) has a zero term. Showing decidability of this problem is equivalent to giving an effective pro…