古典および現代モデル理論ガイド<br>A Guide to Classical and Modern Model Theory (Trends in Logic, V. 19)

古典および現代モデル理論ガイド
A Guide to Classical and Modern Model Theory (Trends in Logic, V. 19)

  • ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す
  • 製本 Hardcover:ハードカバー版／ページ数 369 p.
  • 言語 ENG
  • 商品コード 9781402013300
  • DDC分類 511.3

基本説明

This volume gives a terse historical picture of Model Theory; introduces the latest developments in the area; provides 'hands-on' proofs of elimination of quantifiers, elimination of imaginaries and other relevant matters.

Full Description


Since its birth, Model Theory has been developing a number of methods and concepts that have their intrinsic relevance, but also provide fruitful and notable applications in various fields of mathematics. It is a fertile research area which should be of interest to the mathematical world. This volume should be easily accessible to young people and mathematicians unfamiliar with logic; it gives a terse historical picture of Model Theory; it introduces the latest developments in the area; and it provides "hands-on" proofs of elimination of quantifiers, elimination of imaginaries and other relevant matters. The text is for trainees and professional model theorists, mathematicians working in algebra and geometry and young people with a basic knowledge of logic.