An edition of Henkin-Keisler Models {Mathematics and Its Applications (Kluwer Academic Publishers) ; V. 392} (1997)
Henkin-Keisler Models {Mathematics and Its Applications (Kluwer Academic Publishers) ; V. 392}
By George Weaver
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
1997
Publisher
Springer
Language
-
Pages
256
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