TY - JOUR AU - H. Simmons TI - An Omitting Types Theorem with an Application to the Construction of Generic Structures. JO - Mathematica Scandinavica PY - 1973 SP - 46 EP - 54 VL - 33 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MS2_1973__33_166311/ ID - MS2_1973__33_166311 ER -