Cover of A Guide to Classical and Modern Model Theory (Trends in Logic)

Book 2003

A Guide to Classical and Modern Model Theory (Trends in Logic)

Publisher
Springer
Language
English
Published
2003
  • Mathematical logic
  • Technology
  • Philosophy
  • Algebra - General
  • Logic
  • Mathematics-Algebra - General
  • Mathematics-Logic
  • Reference

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 lively and fertile research area which deserves the attention of the mathematical world. This volume: -is easily accessible to young people and mathematicians unfamiliar with logic; -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. A Guide to Classical and Modern Model Theory is for trainees and professional model theorists, mathematicians working in Algebra and Geometry and young people with a basic knowledge of logic.