Abstract:

Let S(n, k) be the clasical Stirling numbers of the second kind, d>1 be an integer, and  P, Q, R in Q[X_1, ..., X_m] be nonconstant polynomials such that P does not divide Q and R is not a d-th power. We prove that if k_1, ..., k_m are any sufficiently large distinct positive integers then, setting S_i = S(n, k_i), Q(S_1, ..., S_m)/P(S_1, ..., S_m) in Z for only finitely many n in N and R(S_1, ..., S_m) = x^d for only finitely many pairs (n, x) in N^2. We extend the latter finiteness result to all triples (n, x, d) in N^3 , d > 1. Our proofs are based on the results of Corvaja and  Zannier. We give similar but more particular results on the more general Stirling-like numbers T(n, k).