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