Simmons, H. “An Omitting Types Theorem With an Application to the Construction of Generic Structures”. Mathematica Scandinavica 33 (December 1, 1973): 46–54. Accessed July 25, 2026. https://journals.msp.org/mscand/article/view/2194.