Trends in Logic

Marcja, Annalisa; Toffalori, Carlo

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.

Details

Published by: Springer

Publication Date: 2003-06-30

Format: Paperback

ISBN-13: 9781402013317

DOI: 10.1007/978-94-007-0812-9

Dimensions: 240cm x160cm

Pages: 371