The role of the omitting types theorem in infinitary logic. Jon Barwise — 1981 Archiv für mathematische Logik und Grundlagenforschung