An Omitting Types Theorem with an Application to the Construction of Generic Structures. H. Simmons — 1973 Mathematica Scandinavica
Gödel's diagonalization technique and related properties of theories A. Macintyre; H. Simmons — 1973 Colloquium Mathematicae