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