Title: A guide to classical and modern model theory
First published: 2003
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 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.
Subjects: Model theory, Mathematische Logik, Modelltheorie, Mathematical logic, Technology, Philosophy, Science/Mathematics, Algebra - General, Logic, Mathematics-Algebra - General, Mathematics-Logic, Philosophy / Logic, Reference, Algebra, Philosophy (General), Symbolic and mathematical Logic, Mathematical Logic and Foundations
LC classification: QA9.7 .M364 2003