A Guide to Classical and Modern Model Theory [electronic resource] /
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.
Main Authors: | , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Dordrecht : Springer Netherlands : Imprint: Springer,
2003
|
Subjects: | Philosophy., Logic., Algebra., Mathematical logic., Mathematical Logic and Foundations., |
Online Access: | http://dx.doi.org/10.1007/978-94-007-0812-9 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|