1. J. Ax, The elementary theory of finite fields, Ann. of Math. 88 (1968), 239–271.
2. A. Baker, Transcendental Number Theory, Cambridge University Press, Cambridge 1975.
3. L. van den Dries and P. Ribenboim, Lefschetz’ principle in Galois theory, Queen’s Mathematics Preprint No. 1976–5.
4. L. van den Dries, Model Theory of Fields, Dissertation, Utrecht 1978.
5. L. van den Dries, Which curves over ℤ have points with coordinates in a discrete ordered ring? To appear in Trans. AMS.