Henkin-Keisler Models

• Κύριος συγγραφέας: Weaver, George (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 1997.
• Σειρά: Mathematics and Its Applications ; 392
• Θέματα: 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...

Πίνακας περιεχομένων:

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