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