Bjorne Poonen

Last time I formulated a theorem that contained the Mordell-Lang and Bogomolov conjectures for abelian varieties. This time I will give the proof. To save time, I will probably do only the ``Mordellic part,'' by which I mean the analogous statement about $X(\overline{k}) \cap (\Gamma + B_\epsilon)$ (no division group).