| 書目名稱 | Henkin-Keisler Models | | 編輯 | George Weaver | | 視頻video | http://file.papertrans.cn/426/425632/425632.mp4 | | 叢書名稱 | 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
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網安備110108008328)
GMT+8, 2025-10-15 03:10
發(fā)表于 2025-3-21 19:38:42
