Return to Article Details An Omitting Types Theorem with an Application to the Construction of Generic Structures. Download Download PDF