Extensions of countable infinitary logic which preserve most of its nice properties. Leo Harrington — 1980 Archiv für mathematische Logik und Grundlagenforschung