Simmons, H. “An Omitting Types Theorem With an Application to the Construction of Generic Structures”. MATHEMATICA SCANDINAVICA 33 (December 1, 1973): 46–54. Accessed May 3, 2024. https://www.mscand.dk/article/view/11470.