<電子ブック>
Henkin-Keisler Models / by George Weaver
(Mathematics and Its Applications ; 392)
版 | 1st ed. 1997. |
---|---|
出版者 | New York, NY : Springer US : Imprint: Springer |
出版年 | 1997 |
本文言語 | 英語 |
大きさ | XII, 258 p : online resource |
著者標目 | *Weaver, George author SpringerLink (Online service) |
件 名 | LCSH:Mathematical logic LCSH:Logic LCSH:Computer science FREE:Mathematical Logic and Foundations FREE:Logic FREE:Computer Science |
一般注記 | Keisler,s Specialization of the Method of Constants -- The Cardinality of Henkin-Keisler Models -- Classifying Maximal Extensions -- Elementary Subsystems of Henkin-Keisler Models I -- Elementary Subsystems of Henkin-Keisler Models II -- Small Models -- The Keisler-Shelah Isomorphism Theorems -- Saturated 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 connection between Henkin-Keisler models and ultraproducts. The resulting construction can be viewed both as a specialization of the Henkin construction and as an alternative to the ultraproduct construction. These aspects of the Henkin-Keisler construction are utilized here to present a perspective on ultraproducts and their applications accessible to the reader familiar with Henkin's proof of the completeness of first order logic and naive set theory. This approach culminates in proofs of various forms of the Keisler-Shelah characterizations of elementary equivalence and elementary classes via Henkin-Keisler models. The presentation is self-contained and proofs of more advanced results from set theory are introduced as needed. Audience: Logicians in philosophy, computer science, linguistics and mathematics HTTP:URL=https://doi.org/10.1007/b102616 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
|
Springer eBooks | 9780585288444 |
|
電子リソース |
|
EB00235079 |
書誌詳細を非表示
データ種別 | 電子ブック |
---|---|
分 類 | LCC:QA8.9-10.3 DC23:511.3 |
書誌ID | 4000104601 |
ISBN | 9780585288444 |
類似資料
この資料の利用統計
このページへのアクセス回数:8回
※2017年9月4日以降