Primitive divisors, dynamical Zsigmondy sets, and Vojtaʼs conjecture

A primitive prime divisor of an element anan of a sequence (am)m⩾0(am)m⩾0 is a prime pp that divides anan, but does not divide amam for all m