Primitive divisors of elliptic divisibility sequences

Silverman proved the analogue of Zsigmondy's Theorem for elliptic divisibility sequences. For elliptic curves in global minimal form, it seems likely this result is true in a uniform manner. We present such a result for certain infinite families of curves and points. Our methods allow the first explicit examples of the elliptic Zsigmondy Theorem to be exhibited. As an application, we show that every term beyond the fourth of the Somos-4 sequence has a primitive divisor.