Model Theory
1st Edition
Published on 22. March 2011
978-0-511-82672-6 (ISBN)
Description
This is an up-to-date and integrated introduction to model theory, designed to be used for graduate courses (for students who are familiar with first-order logic), and as a reference for more experienced logicians and mathematicians. Model theory is concerned with the notions of definition, interpretation and structure in a very general setting, and is applied to a wide variety of other areas such as set theory, geometry, algebra (in particular group theory), and computer science (e.g. logic programming and specification). Professor Hodges emphasises definability and methods of construction, and introduces the reader to advanced topics such as stability. He also provides the reader with much historical information and a full bibliography, enhancing the book's use as a reference.
Reviews / Votes
"...sets forth the basic tools that the fledgling model theorist should master....a new standard reference in this subject." J.M. Plotkin, Mathematical Reviews "...an important contribution to the literature...one of the few (or perhaps the only) books in print that develop the essentials of model theory in the modern style...valuable for its novel treatment and exposition of some important topics...Throughout the book, Hodges's vast knowledge of logic impresses itself on the reader. There is a beautiful variety and mix of classical and more recent techniques and ideas, especially in applications. It is a pleasure to leaf through the book..." Anand Pillay, Jrl of Symbolic LogicMore details
Series
Language
English
Place of publication
Cambridge
United Kingdom
Publishing group
Cambridge University Press
Target group
Professional and scholarly
Illustrations
Worked examples or Exercises; 1 Halftones, unspecified
File size
86,41 MB
ISBN-13
978-0-511-82672-6 (9780511826726)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions
Person
Content
Part I. Language and Structure: 1. Naming of parts; 2. Classifying structures; 3. Structures that look alike; 4. Automorphisms; 5. Interpretations; Part II. Piecing Together a Structure: 6. The first order case; 7. The countable case; 8. The existential case; 9. The Horn case; Part III. Consequences of Compactness: 10. Saturation; 11. Combinatorial; 12. Expansions and categoricity; Examples; Bibliography; Index.
