An Invitation to Model Theory

Jonathan Kirby (University of East Anglia)

$84.95 $72.42

Paperback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Cambridge University Press
18 April 2019

Philosophy: logic; Mathematics & Sciences; Philosophy of mathematics; Mathematical logic; Set theory; Mathematical modelling

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.

By: Jonathan Kirby (University of East Anglia)
Imprint: Cambridge University Press
Country of Publication: United Kingdom
Dimensions: Height: 227mm, Width: 151mm, Spine: 12mm
Weight: 300g
ISBN: 9781316615553
ISBN 10: 1316615553
Pages: 195
Publication Date: 18 April 2019
Audience: College/higher education , Professional and scholarly , A / AS level , Undergraduate
Format: Paperback
Publisher's Status: Active

Preface; 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; Bibliography; Index.

Jonathan Kirby is a Senior Lecturer in Mathematics at the University of East Anglia. A student of Boris Zilber, 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 Oxford, the University of Illinois at Chicago, and the University of East Anglia.

Reviews for An Invitation to Model Theory

'… this book is well suited for two different audiences: advanced researchers in mathematics who would like to get a first acquaintance with some of the notions and results in model theory without having to spend a considerable amount of time with some classical notions whose relevance may not be clear at the beginning. The second audience is students (or rather, those faculty members considering offering an introductory course in model theory) at universities which do not offer many courses in mathematical logic, but are interested in broadening their curricula with a first introductory course in model theory.' A. Martin-Pizarro, The Bulletin of Symbolic Logic