Title: Henkin-Keisler Models {Mathematics and Its Applications (Kluwer Academic Publishers) ; V. 392}
Description: Aspects of the Henkin-Keisler construction are utilized here to present a perspective on ultraproducts, and their applications, accessible to the reader familiar with Henkin's proof of the completeness of first order logic and naive set theory.
Subjects: Model theory, First-order logic, Ultraproducts