Voir la notice de l'article provenant de la source European Digital Mathematics Library
@article{MS2_1973__33_166311, author = {H. Simmons}, title = {An {Omitting} {Types} {Theorem} with an {Application} to the {Construction} of {Generic} {Structures.}}, journal = {Mathematica Scandinavica}, pages = {46--54}, publisher = {mathdoc}, volume = {33}, year = {1973}, zbl = {0277.02012}, url = {http://geodesic.mathdoc.fr/item/MS2_1973__33_166311/} }
H. Simmons. An Omitting Types Theorem with an Application to the Construction of Generic Structures.. Mathematica Scandinavica, Tome 33 (1973), pp. 46-54. http://geodesic.mathdoc.fr/item/MS2_1973__33_166311/