1. Model Theory;Chang,1977
2. Z. Chatzidakis, Properties of forking in ω-free pseudo-algebraically closed fields, J. Symb. Logic, submitted for publication
3. Definable sets over finite fields;Chatzidakis;J. Reine Angew. Math.,1992
4. Decidability and undecidability theorems for PAC-fields;Cherlin;Bull. Amer. Math. Soc.,1981
5. G. Cherlin, L. van den Dries, A. Macintyre, The elementary theory of regularly closed fields, Preprint, 1980