TY - JOUR AU - Jon Barwise TI - The role of the omitting types theorem in infinitary logic. JO - Archiv für mathematische Logik und Grundlagenforschung PY - 1981 SP - 55 EP - 68 VL - 21 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/AMLG_1981__21_137975/ ID - AMLG_1981__21_137975 ER -