Hrushovski used the model theory of difference fields to give another proof of the Manin-Mumford conjecture.