Henkin-Keisler models - Weaver, George, 1945- (Boston : Kluwer Academic Publishers, 1997)
Keywords: Model theory; Ultraproducts