primitive divisor

He uses the existence of primitive divisors in EDS on elliptic curves of rank one to prove the undecidability of Hilbert's tenth problem over certain rings of integers.

Dov Jarden and Moshe Jarden, On the existence of an infinitude of composite primitive divisors of second order recurring sequences, The Fibonacci Quarterly 6 (1968), 322-334.