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