F. Benoist, E. Bouscaren, and A. Pillay, SEMIABELIAN VARIETIES OVER SEPARABLY CLOSED FIELDS, MAXIMAL DIVISIBLE SUBGROUPS, AND EXACT SEQUENCES, Journal of the Institute of Mathematics of Jussieu, vol.4, issue.01, pp.29-69, 2016.
DOI : 10.2307/2372780

URL : http://arxiv.org/abs/0904.2083

F. Benoist, E. Bouscaren, and A. Pillay, On function field Mordell???Lang and Manin???Mumford, Journal of Mathematical Logic, vol.1696, issue.3, pp.10-1142, 2016.
DOI : 10.4171/RSMUP/134-3

URL : http://arxiv.org/abs/1404.6710

D. Bertrand and A. Pillay, A Lindemann-Weierstrass theorem for semiabelian varieties over function fields, Journal AMS, vol.23, pp.491-533, 2010.
DOI : 10.1090/s0894-0347-09-00653-5

URL : http://arxiv.org/abs/0810.0383

E. Bouscaren, Proof of the Mordell-Lang conjecture, in Model theory and Algebraic geometry, E. Bouscaren Ed., Lecture Notes in Mathematics, vol.1696, 1999.

E. Bouscaren and F. Delon, Groups definable in separably closed fields, Transactions of the American Mathematical Society, vol.354, issue.03, pp.945-966, 2002.
DOI : 10.1090/S0002-9947-01-02886-0

E. Bouscaren and F. Delon, Abstract, The Journal of Symbolic Logic, vol.240, issue.01, pp.239-259, 2002.
DOI : 10.1090/S0894-0347-96-00180-4

W. L. Chow, Abelian varieties over function fields, Transactions of the American Mathematical Society, vol.78, issue.2, pp.253-275, 1955.
DOI : 10.1090/S0002-9947-1955-0067527-3

B. Conrad, Chow's K/k-image and K/k-trace, and the Lang-Néron theorem, Enseign. Math, vol.52, issue.2 12, pp.37-108, 2006.

M. Hindry, Autour d'une conjecture de Serge Lang, Inventiones Mathematicae, vol.69, issue.70, pp.575-603, 1988.
DOI : 10.1007/BF01394276

M. Hindry, Introduction to abelian varieties and the Lang Conjecture, in Model theory and Algebraic geometry, E. Bouscaren Ed., Lecture Notes in Mathematics, vol.1696, 1999.

E. Hrushovski, THE MORDELL-LANG CONJECTURE FOR FUNCTION FIELDS, Journal AMS, vol.9, pp.667-690, 1996.
DOI : 10.1142/9789812564894_0008

D. Lascar, ?-stable groups, in Model theory and algebraic geometry, Lecture Notes in Mathematics, vol.1696, 1999.

D. Marker, M. Messmer, and A. Pillay, Model theory of Fields, Lecture Notes in Logic, vol.5, 2003.
DOI : 10.1017/9781316716991

A. and O. Aziz, Type definable stable groups and separably closed fields

A. Pillay, An Introduction to Stability Theory, 1983.

A. Pillay, The model-theoretic content of Lang's conjecture, Model theory and algebraic geometry, Lecture Notes in Mathematics, vol.1696, 1996.

A. Pillay, Mordell???Lang conjecture for function fields in characteristic zero, revisited, Compositio Mathematica, vol.140, issue.01, pp.64-68, 2004.
DOI : 10.1112/S0010437X03000186

R. Pink and D. Rössler, On $\psi$-invariant subvarieties of semiabelian varieties and the Manin-Mumford conjecture, Journal of Algebraic Geometry, vol.13, issue.4, pp.771-798, 2004.
DOI : 10.1090/S1056-3911-04-00368-6

B. Poizat, Stable groups, Mathematical Surveys and Monographs, vol.87, 2001.
DOI : 10.1090/surv/087

A. Robinson, Solution of a problem of Tarski, Fund, Math, vol.47, pp.179-204, 1959.

D. Rössler, Infinitely $p$ -Divisible Points on Abelian Varieties Defined over Function Fields of Characteristic $p\gt 0$, Notre Dame Journal of Formal Logic, vol.54, issue.3-4, pp.3-4, 2013.
DOI : 10.1215/00294527-2143943

J. P. Serre, Algebraic groups and class fields, 1988.
DOI : 10.1007/978-1-4612-1035-1

F. Wagner, Stable groups, 1997.
DOI : 10.1017/cbo9780511566080

URL : https://hal.archives-ouvertes.fr/hal-00495141

M. Ziegler, Abstract, The Journal of Symbolic Logic, vol.177, issue.01, pp.311-318, 2003.
DOI : 10.1007/978-3-662-22174-7_4

URL : https://hal.archives-ouvertes.fr/hal-01215082