Henkin-Keisler models emanate from a modification of the Henkin construction introduced by Keisler to motivate the definition of ultraproducts. Keisler modified the Henkin construction at that point at which `new' individual constants are introduced and did so in a way that illuminates a connection between Henkin-Keisler models and ultraproducts. The resulting construction can be viewed both as a specialization of the Henkin construction and as an alternative to the ultraproduct construction. These aspects of the Henkin ...

Henkin-Keisler Models 2013, Springer

ISBN-13: 9781475770766

Softcover Reprint of the Origi edition

Trade paperback

Henkin-Keisler Models 1997, Springer, Boston, MA

ISBN-13: 9780792343660

1997 edition