Model Theory : An Introduction
Assumes only a familiarity with algebra at the beginning graduate level; Stresses applications to algebra; Illustrates several of the ways Model Theory can be a useful tool in analyzing classical mathematical structures
What people are saying - Write a review
A great introduction for anyone interested in studying applied model theory. Applications to algebra, in particular model theory of fields, are especially well- presented. The exercises are interesting and plentiful.
The book is perfect preparation for studying more advanced topics in applied model theory. The book also is good preparation for studying stability theory in more general cases (in this book, the totally transcendental or omega stable (the languages here are countable here) cases are carefully presented). I think studying this book leads naturally to studying stability theory, more advanced model theory of fields, and other applied model theory (like say o-minimality). One of the best aspects of the text is the historical section at the end of each chapter. These sections often mention current avenues of research in addition to describing the history of the work in the chapter.
For other model theory topics, like model theory of modules or groups, there may be more suitable texts like Poizat's book (though one should be warned that the language of model theory has evolved, and the modern working language is used in this text, but not in older ones). For those not interested in becoming model theorists, but interested in picking up some interesting model theory and applications to their own branch of mathematics, this is the ideal book. Marker's text is much better suited to this sort of study than, say, Chang and Keisler's text or the more modern book by Hodges.
Additionally, it should be said that Dave Marker's writing style is very nice, keeping the reader excited and organized. Professor Marker won the 2007 Inaugural Shoenfield Prize from the ASL for this textbook.
Other editions - View all
A First Course in Logic: An Introduction to Model Theory, Proof ..., Issue 9
No preview available - 2004