Models with second order properties. III. Omitting types for L(Q). Saharon Shelah (1981) Archiv für mathematische Logik und Grundlagenforschung