Ebook: A Guide to Classical and Modern Model Theory
- Genre: Mathematics // Logic
- Tags: Logic, Mathematical Logic and Foundations, Algebra
- Series: Trends in Logic 19
- Year: 2003
- Publisher: Springer Netherlands
- City: Dordrecht; Boston
- Edition: 1
- Language: English
- djvu
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.
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.