Model theory for infinitary logic logic with countable conjunctions and finite quantifiers - Keisler, H. Jerome (Studies in logic and the foundation of mathematics, 1971)