Henkin-Keisler Models {Mathematics and Its Applications (Kluwer Academic Publishers) ; V. 392}
Publisher: Springer
Published: 1997
Place of publication: Dordrecht
Format: [electronic resource]
Number of pages: 256
ISBN-13: 9780585288444
Subjects: Model theory; First-order logic; Ultraproducts
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.
Notes: Description based upon print version of record.
Table of contents: title: Front Matter; Introduction; Keisler,s Specialization of the Method of Constants; The Cardinality of Henkin-Keisler Models; Classifying Maximal Extensions; Elementary Subsystems of Henkin-Keisler Models I; Elementary Subsystems of Henkin-Keisler Models II; Small Models; The Keisler-Shelah Isomorphism Theorems; Saturated Models; Back Matter