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