“…In recent years, much interest has been focused on using the criterion of Theorem 1 to Diophantine equations of the form p m (x) = p n (y) and p m (x) = g(y), where {p k } k 0 denotes some specific polynomial family and g(x) is an arbitrary polynomial over Q. The interested reader may consult [2,11,17,18,26] for equations with binomial coefficient polynomials, [12][13][14] for equations with Bernoulli polynomials, [2,19] for power-sum polynomials, [14] for truncated Taylor polynomials of the exponential function and [1,9,10,25,27,28] for polynomials in three-term recurrences. As a principle, the difficulty consists in proving a uniform indecomposability theorem for {p k }.…”