Henkin-Keisler Models
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...
Κύριος συγγραφέας: | Weaver, George (Συγγραφέας) |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Boston, MA :
Springer US,
1997.
|
Σειρά: | Mathematics and Its Applications ;
392 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
The Life and Work of Leon Henkin Essays on His Contributions /
Έκδοση: (2014) -
Aspects of Molecular Computing Essays Dedicated to Tom Head, on the Occasion of His 70th Birthday /
Έκδοση: (2004) -
A Short Introduction to Intuitionistic Logic
ανά: Mints, Grigori
Έκδοση: (2000) -
A Modern Perspective on Type Theory From its Origins until Today /
ανά: Kamareddine, Fairouz, κ.ά.
Έκδοση: (2005) -
Mathematical Problems from Applied Logic I Logics for the XXIst Century /
Έκδοση: (2006)