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