| 書(shū)目名稱 | Henkin-Keisler Models | | 編輯 | George Weaver | | 視頻video | http://file.papertrans.cn/426/425632/425632.mp4 | | 叢書(shū)名稱 | Mathematics and Its Applications | | 圖書(shū)封面 |  | | 描述 | 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 | | 關(guān)鍵詞 | 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|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-15 23:46
發(fā)表于 2025-3-21 19:38:42
