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