Gödel's diagonalization technique and related properties of theories A. Macintyre; H. Simmons — 1973 Colloquium Mathematicae
Definable sets over finite fields. Z. Chatzidakis; L. v.d. Dries; A. Macintyre — 1992 Journal für die reine und angewandte Mathematik