An Omitting Types Theorem with an Application to the Construction of Generic Structures. - Simmons, H. (MATHEMATICA SCANDINAVICA, 1973)