George Weaver
Henkin-keisler Models - Mathematics and Its Applications George Weaver Softcover Reprint of the Original 1st Ed. 1997 edition

Name: Henkin-keisler Models - Mathematics and Its Applications
Price: 8445 JPY
Availability: OutOfStock
Author: George Weaver

価格

¥ 8.445

税抜

遠隔倉庫からの取り寄せ

発送予定日年11月16日 - 年11月26日

クリスマスプレゼントは1月31日まで返品可能です

George Weaver の新しいリリースのお知らせを受け取る

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能：

Hardcover Book

1997 edition

(1997) ¥ 10.308

Henkin-keisler Models - Mathematics and Its Applications

George Weaver

Softcover Reprint of the Original 1st Ed. 1997 edition

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.

270 pages, biography

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2013年3月8日
ISBN13	9781475770766
出版社	Springer-Verlag New York Inc.
ページ数	270
寸法	155 × 235 × 15 mm · 390 g
言語	英語