Model Theory: An Introduction [Hardcover]

David Marker (Author)

Book Description

ISBN-10: 0387987606 | ISBN-13: 978-0387987606 | Publication Date: August 21, 2002 | Edition: 1

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

Editorial Reviews

Review

From the reviews:

MATHEMATICAL REVIEWS

"This is an extremely fine graduate level textbook on model theory. There is a careful selection of topics…There is a strong focus on the meaning of model-theoretic concepts in mathematically interesting examples. The exercises touch on a wealth of beautiful topics."

"This is an extremely fine graduate level textbook on model theory. There is a careful selection of topics, with a route leading to a substantial treatment of Hrushovski’s proof of the Mordell-Lang conjecture for function fields. … The exercises touch on a wealth of beautiful topics. … There is additional basic background in two appendices (on set theory and on real algebra)." (Dugald Macpherson, Mathematical Reviews, 2003 e)

"Model theory is the branch of mathematical logic that examines what it means for a first-order sentence … to be true in a particular structure … . This is a text for graduate students, mainly aimed at those specializing in logic, but also of interest for mathematicians outside logic who want to know what model theory can offer them in their own disciplines. … it is one which makes a good case for model theory as much more than a tool for specialist logicians." (Gerry Leversha, The Mathematical Gazette, Vol. 88 (513), 2004)

"The author’s intended audience for this high level introduction to model theory is graduate students contemplating research in model theory, graduate students in logic, and mathematicians who are not logicians but who are in areas where model theory has interesting applications. … The text is noteworthy for its wealth of examples and its desire to bring the student to the point where the frontiers of research are visible. … this book should be on the shelf of anybody with an interest in model theory." (J. M. Plotkin, Zentralblatt Math, Vol. 1003 (03), 2003)

From the Back Cover

This book is a modern introduction to model theory which stresses applications to algebra throughout the text. The first half of the book includes classical material on model construction techniques, type spaces, prime models, saturated models, countable models, and indiscernibles and their applications. The author also includes an introduction to stability theory beginning with Morley's Categoricity Theorem and concentrating on omega-stable theories. One significant aspect of this text is the inclusion of chapters on important topics not covered in other introductory texts, such as omega-stable groups and the geometry of strongly minimal sets. The author then goes on to illustrate how these ingredients are used in Hrushovski's applications to diophantine geometry.

David Marker is Professor of Mathematics at the University of Illinois at Chicago. His main area of research involves mathematical logic and model theory, and their applications to algebra and geometry. This book was developed from a series of lectures given by the author at the Mathematical Sciences Research Institute in 1998.

Product Details

• Hardcover: 360 pages
• Publisher: Springer; 1 edition (August 21, 2002)
• Language: English
• ISBN-10: 0387987606
• ISBN-13: 978-0387987606
• Product Dimensions: 9.1 x 6.8 x 0.8 inches
• Shipping Weight: 15.2 ounces (View shipping rates and policies)
• Average Customer Review: 3.5 out of 5 stars  See all reviews (6 customer reviews)
• Amazon Best Sellers Rank: #913,319 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

Most Helpful Customer Reviews

41 of 41 people found the following review helpful:

4.0 out of 5 stars A very good book, July 19, 2004

By A Customer

This review is from: Model Theory: An Introduction (Hardcover)

There are several good introductory model theory texts out there today, and it seems that each one is strong where another is weak. To get a gap-free introduction to the subject, you best get them all--sadly, for many of us this is not possible.
Anyway, you want to know where is Marker is strong. Most notably, his book has plenty of exercises (ranging as they should from trivial to challenging) and many good examples. You get good at (anything really) model theory by doing it, not just reading about it. You can't get good at mathematics by working in a vacuum, so you need to see examples. Marker's book succeeds by providing both of these things, and any book that doesn't you should buy last (sadly, Poizat's book, though good for what it is, has no exercises). Marker's pace is quick: the first two chapters give you the logical toolbox, chapter three eliminates quantifiers, in chapter four you construct skinny models (omit types) and fat ones (saturation/realizing types), in chapter five you do some combinatorics, six wraps up classical model theory (Morley's categoricity theorem) and gives the groundwork for stability and modern techniques (pregeometries, forking etc.). The rest of the book gives good coverage (for the space allotted) of algebro-geometric ideas that are pretty current. Marker's chapters seem a bit more application oriented than Hodges' (this is a hard call), and his book does give more information about current topics (stability, algebra, geometry etc.). Contrary to the opinion of another reviewer, Marker's book is not obscure. The subject often exhibits a high degree of abstraction, but through his use of examples, Marker is good at guiding the reader's intuition and giving a sense of "mathematical relevance" to the subject (but see below).
You also want to know what the (possible) weaknesses are. There are some typos-this is actually not so trivial a weakness if you think about it. Many interesting older ideas that you can find in Chang and Keisler or Hodges are absent (maybe because you can find them in those books), e.g. Craig interpolation, formula preservation theorems (Marker leaves a couple as exercises), ultraproducts. One response may be that the first omission is better called "logic", the second "somewhat pointless", and the last "set theory". Finally, overemphasizing examples can misdirect you-the way a theorem applies to particular cases often masks the "real" sense of the theorem. I'm not saying Marker overemphasizes examples, but some of you love pure generalities, others love concrete matters...all this may be a matter of taste.
How does Marker's book stack up against other's? Similar scope as Poizat's, but has exercises and is less chatty. Marker's is better (for you). More up to date than Chang and Keisler's, but weaker in explicating the logic (*in the chapters* that is, there are nice logic problems in the exercises, but you are pretty much *on your own* when you do them), and Chang and Keisler are easier to read. They are more fun to read than almost anyone else though. Marker's book is still better for the modern student. If you're serious, you'll have to get C&K eventually anyway if only because of what their book is to the subject. Hodges is friendlier, stronger in the logical topics, "cooler" in some way (hard to describe...he's witty and works slickly), but Marker delves into some more contemporary ideas. It's a toss up. If you don't know anything about model theory, get Hodges' (also one of the *dinky-though-probably-handy* books that you can find on this site-Doets' book?). If you know some stuff and want to see modern applications explained well, get Marker...Actually, they're both affordable and very good. Save up and get both.
Does the book count as an introduction? Unhappily for the beginner, yes. Time was you could talk forever about Skolem's theorems, do simple diagram-chasing proofs of things that proof theorists knew in the 1930's, prove things with monstrous ultraproducts instead of quoting the compactness theorem and still say you were doing model theory. But times have changed and so have interests. Marker's book reflects this change well.

15 of 17 people found the following review helpful:

3.0 out of 5 stars Probably the text you will use, July 11, 2005

By 

Nathan Oakes (Ashland, Oregon) - See all my reviews

This review is from: Model Theory: An Introduction (Hardcover)

This is intended to be an introduction to abstract and applied model theory. It assumes a mathematical logic course and a year of graduate algebra, preferably with Shoenfield and Lang. Since it is recent and has selective coverage, it is probably a good guide to what is currently rated important. Delivery is sometimes very terse, using heavy notation. Proofs are not remarkably good or bad. References to the literature are there but not extensive. I thought the application to other fields was weak.

My main complaint is that it didn't make me feel that it was introducing a coherent field of study or illustrate why it should be interesting. The author doesn't develop a context or explain where he is going. It feels like just a march of one detail after another, sometimes decending into a jumble.

The strength of the text is that it is very explicit in what points it is making and what exterior ideas it is resting on. I expect most instructors would choose it for that reason. They should just be prepared to spend a lot of lecture time building context for the material.

3 of 3 people found the following review helpful:

4.0 out of 5 stars Grows on you, November 29, 2007

By 

Trenton F. Schirmer "Philosopher" (Fair Oaks, CA United States) - See all my reviews
(REAL NAME)   

Amazon Verified Purchase

This review is from: Model Theory: An Introduction (Hardcover)

This is a graduate level text--you will need mathematical maturity as well as a decent background in both logic and abstract algebra (the deeper your background the more you can gain). When I first purchased this book I had a difficult time appreciating the subtleties of the model theoretic approach to logic. Having had some time to ponder them, I have developed a deep appreciation of its power. Model theory is to predicate logic what analysis is to engineering calculus, it is enlightening, it is logic for grown-ups.

Marker's presentation is terse, for the most part he gives his definitions and theorems with very little comment. This is unfortunate because the essence of these definitions and theorems can usually be explained intuitively with just a sentence or two of plain English, much to the benefit of the learner. Also, there are a fair amount of typos, some of them damaging. For these two reasons, this book is not friendly to the beginner, and I myself did not like it at all when I first purchased it.

With that said, I have since grown very fond of this text. Marker knows his subject well and this is reflected in the logical development. The theorems, their applications, and the many examples he gives are actually quite interesting, once you are with the program. I suspect that someone who has already had some model theory will find this book especially enjoyable. I also think this text can be put to very profitable use in the classroom--there is a great deal of power lying dormant here that can be unlocked by a professor with a good intuitive grasp of the subject.

Briefly, Marker's text is difficult for the beginner but well worth the reward if you perservere. Remove the typos and this is a five star book in my opinion.