Ebook: Model Theory for Infinitary Logic: Logic with Countable Conjunctions and Finite Quantifiers

This book grew out of a Survey Lecture given to the Association for Symbolic Logic meeting in January 1969 and is based on a course at the University of Wisconsin in the spring of 1969. It is planned both as a textbook for an advanced graduate course and as a reference for research work in mathematical logic.

We have written for the reader who already has a thorough knowledge of ‘classical’ model theory, that is, model theory for the usual first order predicate logic. The necessary background is given in the book MODEL THEORY by C. C. Chang and H. J. Keisler.