A Course in Model Theory : An Introduction to Contemporary Mathematical Logic (Universitext)

個数:

A Course in Model Theory : An Introduction to Contemporary Mathematical Logic (Universitext)

  • 提携先の海外書籍取次会社に在庫がございます。通常3週間で発送いたします。
    重要ご説明事項
    1. 納期遅延や、ご入手不能となる場合が若干ございます。
    2. 複数冊ご注文の場合、分割発送となる場合がございます。
    3. 美品のご指定は承りかねます。
  • 【重要:入荷遅延について】
    ウクライナ情勢悪化・新型コロナウィルス感染拡大により、洋書・洋古書の入荷が不安定になっています。詳しくはこちらをご確認ください。
    海外からのお取り寄せの場合、弊社サイト内で表示している標準的な納期よりもお届けまでに日数がかかる見込みでございます。
    申し訳ございませんが、あらかじめご了承くださいますようお願い申し上げます。
  • ◆画像の表紙や帯等は実物とは異なる場合があります。
  • 製本 Paperback:紙装版/ペーパーバック版/ページ数 443 p.
  • 言語 ENG
  • 商品コード 9781461264460
  • DDC分類 511.8

Full Description

Translated from the French, this book is an introduction to first-order model theory. Starting from scratch, it quickly reaches the essentials, namely, the back-and-forth method and compactness, which are illustrated with examples taken from algebra. It also introduces logic via the study of the models of arithmetic, and it gives complete but accessible exposition of stability theory.

Contents

1 Elementary Classes of Relations.- The Language Associated with a Relation.- 3 Extensions of the Language: Structures.- 4 Compactness.- 5 The Back-and-Forth Method in ?-Saturated Models.- 6 Examples Illustrating the Back-and-Forth Method.- 7 Arithmetic.- 8 Ordinals and Cardinals.- 9 Saturated Models.- 10 Prime Models.- 11 Heirs.- 12 Special Sons, Morley Sequences.- 13 The Fundamental Order.- 14 Stability and Saturated Models.- 15 Forking.- 16 Strong Types.- 17 Notions of Rank.- 18 Stability and Prime Models.- 19 Stability, Indiscernible Sequences and Weights.- 20 Dimension in Models of a Totally Transcendental Theory.- Index of Notation.