Skip to content
Register Sign in Wishlist

An Invitation to Model Theory


  • Date Published: April 2019
  • availability: In stock
  • format: Paperback
  • isbn: 9781316615553
Average user rating
(1 review)

£ 23.99

Add to cart Add to wishlist

Other available formats:
Hardback, eBook

Request inspection copy

Lecturers may request a copy of this title for inspection

Product filter button
About the Authors
  • Model theory begins with an audacious idea: to consider statements about mathematical structures as mathematical objects of study in their own right. While inherently important as a tool of mathematical logic, it also enjoys connections to and applications in diverse branches of mathematics, including algebra, number theory and analysis. Despite this, traditional introductions to model theory assume a graduate-level background of the reader. In this innovative textbook, Jonathan Kirby brings model theory to an undergraduate audience. The highlights of basic model theory are illustrated through examples from specific structures familiar from undergraduate mathematics, paying particular attention to definable sets throughout. With numerous exercises of varying difficulty, this is an accessible introduction to model theory and its place in mathematics.

    • Suitable for use as an undergraduate- or Masters-level course in model theory, unlike traditional graduate-level texts
    • Contains many exercises of varying difficulty, from bookwork to more substantial projects
    • Presents model theory in the context of undergraduate mathematics via definable sets in familiar structures
    Read more

    Customer reviews

    28th Jan 2019 by Niconi

    I am looking forward to it and hope to take more in.

    Review was not posted due to profanity


    , create a review

    (If you're not , sign out)

    Please enter the right captcha value
    Please enter a star rating.
    Your review must be a minimum of 12 words.

    How do you rate this item?


    Product details

    • Date Published: April 2019
    • format: Paperback
    • isbn: 9781316615553
    • length: 194 pages
    • dimensions: 227 x 151 x 12 mm
    • weight: 0.3kg
    • contains: 5 b/w illus.
    • availability: In stock
  • Table of Contents

    Part I. Languages and Structures:
    1. Structures
    2. Terms
    3. Formulas
    4. Definable sets
    5. Substructures and quantifiers
    Part II. Theories and Compactness:
    6. Theories and axioms
    7. The complex and real fields
    8. Compactness and new constants
    9. Axiomatisable classes
    10. Cardinality considerations
    11. Constructing models from syntax
    Part III. Changing Models:
    12. Elementary substructures
    13. Elementary extensions
    14. Vector spaces and categoricity
    15. Linear orders
    16. The successor structure
    Part IV. Characterising Definable Sets:
    17. Quantifier elimination for DLO
    18. Substructure completeness
    19. Power sets and Boolean algebras
    20. The algebras of definable sets
    21. Real vector spaces and parameters
    22. Semi-algebraic sets
    Part V. Types:
    23. Realising types
    24. Omitting types
    25. Countable categoricity
    26. Large and small countable models
    27. Saturated models
    Part VI. Algebraically Closed Fields:
    28. Fields and their extensions
    29. Algebraic closures of fields
    30. Categoricity and completeness
    31. Definable sets and varieties
    32. Hilbert's Nullstellensatz

  • Resources for

    An Invitation to Model Theory

    Jonathan Kirby

    General Resources

    Find resources associated with this title

    Type Name Unlocked * Format Size

    Showing of

    Back to top

    This title is supported by one or more locked resources. Access to locked resources is granted exclusively by Cambridge University Press to lecturers whose faculty status has been verified. To gain access to locked resources, lecturers should sign in to or register for a Cambridge user account.

    Please use locked resources responsibly and exercise your professional discretion when choosing how you share these materials with your students. Other lecturers may wish to use locked resources for assessment purposes and their usefulness is undermined when the source files (for example, solution manuals or test banks) are shared online or via social networks.

    Supplementary resources are subject to copyright. Lecturers are permitted to view, print or download these resources for use in their teaching, but may not change them or use them for commercial gain.

    If you are having problems accessing these resources please contact

  • Author

    Jonathan Kirby, University of East Anglia
    Jonathan Kirby is a Senior Lecturer in Mathematics at the University of East Anglia. His main research is in model theory and its interactions with algebra, number theory, and analysis, with particular interest in exponential functions. He has taught model theory at the University of Oxford, the University of Illinois, Chicago, and the University of East Anglia.

Sorry, this resource is locked

Please register or sign in to request access. If you are having problems accessing these resources please email

Register Sign in
Please note that this file is password protected. You will be asked to input your password on the next screen.

» Proceed

You are now leaving the Cambridge University Press website. Your eBook purchase and download will be completed by our partner Please see the permission section of the catalogue page for details of the print & copy limits on our eBooks.

Continue ×

Continue ×

Continue ×
warning icon

Turn stock notifications on?

You must be signed in to your Cambridge account to turn product stock notifications on or off.

Sign in Create a Cambridge account arrow icon

Find content that relates to you

Join us online

This site uses cookies to improve your experience. Read more Close

Are you sure you want to delete your account?

This cannot be undone.


Thank you for your feedback which will help us improve our service.

If you requested a response, we will make sure to get back to you shortly.

Please fill in the required fields in your feedback submission.