Simmons H. An Omitting Types Theorem with an Application to the Construction of Generic Structures. Math. Scand. 1973;33:46-54. doi:10.7146/math.scand.a-11470