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