Henkin-Keisler Models

• Main Author: Weaver, George (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US, 1997.
• Series: Mathematics and Its Applications ; 392
• Subjects: Mathematics.; Logic.; Computer science.; Mathematical logic.; Mathematical Logic and Foundations.; Computer Science, general.

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 connec...

Table of Contents:

• 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.