Text this: Model theory for infinitary logic ; logic with countable conjunctions and finite quantifiers / [By] H. Jerome Keisler.