Simmons, H. (1973). An Omitting Types Theorem with an Application to the Construction of Generic Structures. MATHEMATICA SCANDINAVICA, 33, 46–54. https://doi.org/10.7146/math.scand.a-11470