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...
| 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: | |
| Online Access: | Full Text via HEAL-Link |
Similar Items
-
The Life and Work of Leon Henkin Essays on His Contributions /
Published: (2014) -
Aspects of Molecular Computing Essays Dedicated to Tom Head, on the Occasion of His 70th Birthday /
Published: (2004) -
A Short Introduction to Intuitionistic Logic
by: Mints, Grigori
Published: (2000) -
A Modern Perspective on Type Theory From its Origins until Today /
by: Kamareddine, Fairouz, et al.
Published: (2005) -
Mathematical Problems from Applied Logic I Logics for the XXIst Century /
Published: (2006)