An Omitting Types Theorem for Saturated Structures. - A. D. Greif; Michael C. Laskowski (Ann. Pure Appl. Log., 1993)