Simmons, H. An Omitting Types Theorem With an Application to the Construction of Generic Structures. Math. Scand. 1973, 33, 46-54.