SIMMONS, H. An Omitting Types Theorem with an Application to the Construction of Generic Structures. MATHEMATICA SCANDINAVICA, [S. l.], v. 33, p. 46–54, 1973. DOI: 10.7146/math.scand.a-11470. Disponível em: https://www.mscand.dk/article/view/11470. Acesso em: 3 may. 2024.