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://tidsskrift.dk/math/article/view/11470. Acesso em: 14 aug. 2026.