| 书目名称 | Henkin-Keisler Models | | 编辑 | George Weaver | | 视频video | | | 丛书名称 | Mathematics and Its Applications | | 图书封面 |  | | 描述 | Henkin-Keisler models emanate from a modification of theHenkin construction introduced by Keisler to motivate the definitionof ultraproducts. Keisler modified the Henkin construction at thatpoint at which `new‘ individual constants are introduced and did so ina way that illuminates a connection between Henkin-Keislermodels and ultraproducts. The resulting construction can be viewedboth as a specialization of the Henkin construction and as analternative to the ultraproduct construction. These aspects of theHenkin-Keisler construction are utilized here to present aperspective on ultraproducts and their applications accessible to thereader familiar with Henkin‘s proof of the completeness of first orderlogic and naive set theory. This approach culminates in proofs ofvarious forms of the Keisler-Shelah characterizations ofelementary equivalence and elementary classes viaHenkin-Keisler models. The presentation is self-contained andproofs of more advanced results from set theory are introduced asneeded. ..Audience:. Logicians in philosophy, computer science, linguisticsand mathematics. | | 出版日期 | Book 1997 | | 关键词 | Equivalence; cardinality; computer; computer science; logic; proof; set theory; ultraproduct | | 版次 | 1 | | doi | https://doi.org/10.1007/b102616 | | isbn_softcover | 978-1-4757-7076-6 | | isbn_ebook | 978-0-585-28844-4 | | copyright | Springer Science+Business Media Dordrecht 1997 |
The information of publication is updating
|
|
发表于 2025-3-21 19:38:42
