A Course in Model Theory

An Introduction to Contemporary Mathematical Logic

Authors:

ISBN: 978-1-4612-6446-0 (Print) 978-1-4419-8622-1 (Online)

Table of contents (20 chapters)

  1. Front Matter

    Pages i-xxxi

  2. No Access

    Book Chapter

    Pages 1-14

    Elementary Classes of Relations

  3. No Access

    Book Chapter

    Pages 15-30

    The Language Associated with a Relation

  4. No Access

    Book Chapter

    Pages 31-37

    Extensions of the Language: Structures

  5. No Access

    Book Chapter

    Pages 38-54

    Compactness

  6. No Access

    Book Chapter

    Pages 55-63

    The Back-and-Forth Method in ω-Saturated Models

  7. No Access

    Book Chapter

    Pages 64-107

    Examples Illustrating the Back-and-Forth Method

  8. No Access

    Book Chapter

    Pages 108-159

    Arithmetic

  9. No Access

    Book Chapter

    Pages 160-180

    Ordinals and Cardinals

  10. No Access

    Book Chapter

    Pages 181-203

    Saturated Models

  11. No Access

    Book Chapter

    Pages 204-224

    Prime Models

  12. No Access

    Book Chapter

    Pages 225-238

    Heirs

  13. No Access

    Book Chapter

    Pages 239-276

    Special Sons, Morley Sequences

  14. No Access

    Book Chapter

    Pages 277-289

    The Fundamental Order

  15. No Access

    Book Chapter

    Pages 290-298

    Stability and Saturated Models

  16. No Access

    Book Chapter

    Pages 299-308

    Forking

  17. No Access

    Book Chapter

    Pages 309-331

    Strong Types

  18. No Access

    Book Chapter

    Pages 332-350

    Notions of Rank

  19. No Access

    Book Chapter

    Pages 351-373

    Stability and Prime Models

  20. No Access

    Book Chapter

    Pages 374-392

    Stability, Indiscernible Sequences and Weights

  21. No Access

    Book Chapter

    Pages 393-418

    Dimension in Models of a Totally Transcendental Theory

  22. Back Matter

    Pages 419-445