Our systems are now restored following recent technical disruption, and we’re working hard to catch up on publishing. We apologise for the inconvenience caused. Find out more

Recommended product

Popular links

Popular links


Model Theory

Model Theory

Model Theory

Wilfrid Hodges, Queen Mary University of London
March 2011
This ISBN is for an eBook version which is distributed on our behalf by a third party.
Adobe eBook Reader
9780511826726

    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.

    • Hodges is successful author of many books (including general level)
    • Many years in preparation
    • Definitive work on model theory

    Product details

    March 2011
    Adobe eBook Reader
    9780511826726
    0 pages
    0kg
    1 b/w illus.
    This ISBN is for an eBook version which is distributed on our behalf by a third party.

    Table of Contents

    • 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.
    Resources for
    Type
    Corrigenda
      Author
    • Wilfrid Hodges , Queen Mary University of London