Simmons, H. 1973. “An Omitting Types Theorem With an Application to the Construction of Generic Structures”. Mathematica Scandinavica 33 (December): 46-54. https://doi.org/10.7146/math.scand.a-11470.