1. [1] Bouscaren, E., editor, Model Theory and Algebraic Geometry. An Introduction to E. Hrushovski's Proof of the Geometric Mordell-Lang Conjecture, vol. 1696 of Lecture Notes in Mathematics, Springer-Verlag, Berlin, 1998.
2. [2] Buium, A., Differential Algebra and Diophantine Geometry, Actualités Mathématiques. [Current Mathematical Topics]. Hermann, Paris, 1994.
3. [3] Calvert, W., and J. F. Knight, "Classification from a computable viewpoint", The Bulletin of Symbolic Logic, vol. 12 (2006), pp. 191--218.
4. [4] Harrington, L., "Recursively presentable prime models", The Journal of Symbolic Logic, vol. 39 (1974), pp. 305--9.
5. [5] Hindry, M., and J. H. Silverman, Diophantine Geometry. An Introduction, vol. 201 of Graduate Texts in Mathematics, Springer-Verlag, New York, 2000.