  We prove a version of the Manin-Mumford conjecture for semiabelian varieties
over fields of positive characteristic. The proof presented here contains the
details of the proof sketched by the author in the article "Diophantine
geometry from model theory," BSL 7 (2001) no. 1, 37 - 57; using the model
theory of difference fields along the lines of Hrushovski. Algebraic proofs
have been presented by Pink & Roessler and Pillay.
