Generalised Binomial coefficients and Jarden's Theorem
arXiv:1305.2146
Abstract
We prove a stronger version of Jarden's Theorem for recurrence of powers of recursive functions
A section (section 3) concerning the application of Jarden's Theorem is included