Best Books of the Month Shop Costumes Learn more nav_sap_SWP_6M_fly_beacon $5 Albums All-New Fire TV Stick with Voice Remote Grocery Introducing Handmade New Kitchen Scale from AmazonBasics Amazon Gift Card Offer hog hog hog  Amazon Echo Starting at $49.99 Kindle Voyage  McCartney Shop Now Kids Halloween

Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.

  • Apple
  • Android
  • Windows Phone
  • Android

To get the free app, enter your email address or mobile phone number.

A Shorter Model Theory 1st Edition

6 customer reviews
ISBN-13: 978-0521587136
ISBN-10: 0521587131
Why is ISBN important?
This bar-code number lets you verify that you're getting exactly the right version or edition of a book. The 13-digit and 10-digit formats both work.
Scan an ISBN with your phone
Use the Amazon App to scan ISBNs and compare prices.
Sell yours for a Gift Card
We'll buy it for $20.31
Learn More
Trade in now
Have one to sell? Sell on Amazon
Buy used
Buy new
More Buying Choices
22 New from $69.05 19 Used from $58.13
Free Two-Day Shipping for College Students with Amazon Student Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student

Save up to 80% on Textbook Rentals Rent Textbooks
$73.26 FREE Shipping. In Stock. Ships from and sold by Gift-wrap available.

Frequently Bought Together

  • A Shorter Model Theory
  • +
  • Set Theory (Studies in Logic: Mathematical Logic and Foundations)
Total price: $97.26
Buy the selected items together

Editorial Reviews


"I have talked with students who first learned about model theory from this text, and overall it served them well. From his impressive work in 1993, Hodges has distilled an accessible introductory account. In doing so he has provided a valuable resource for a first study of model theory." International Joy of Symbolic Logic

Book Description

This is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory. Besides standard results such as the compactness and omitting types theorems, it also describes various links with algebra, including the Skolem-Tarski method of quantifier elimination, model completeness, automorphism groups and omega-categoricity, ultraproducts, O-minimality and structures of finite Morley rank. The material on back-and-forth equivalences, interpretations and zero-one laws can serve as an introduction to applications of model theory in computer science. Each chapter finishes with a brief commentary on the literature and suggestions for further reading.


Best Books of the Month
Best Books of the Month
Want to know our Editors' picks for the best books of the month? Browse Best Books of the Month, featuring our favorite new books in more than a dozen categories.

Product Details

  • Paperback: 324 pages
  • Publisher: Cambridge University Press; 1 edition (April 28, 1997)
  • Language: English
  • ISBN-10: 0521587131
  • ISBN-13: 978-0521587136
  • Product Dimensions: 6 x 0.7 x 9 inches
  • Shipping Weight: 1.2 pounds (View shipping rates and policies)
  • Average Customer Review: 4.7 out of 5 stars  See all reviews (6 customer reviews)
  • Amazon Best Sellers Rank: #1,341,741 in Books (See Top 100 in Books)

More About the Author

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

Customer Reviews

5 star
4 star
3 star
2 star
1 star
See all 6 customer reviews
Share your thoughts with other customers

Most Helpful Customer Reviews

24 of 25 people found the following review helpful By A Customer on August 7, 2000
Format: Paperback
This textbook is an efficient condensation of Hodges's bulkier and more leisurely "Model Theory". As such, it excludes some of the "fun" topics in the larger book as well as the nice bibliography. On the other hand, it is a truly excellent textbook for model theory and, in fact, for logic (for those with some idea of what *that* is.)
Personally, I would have liked to see the following topics at least mentioned: higher-order languages, typed languages, ultraproducts, game theory. Nevertheless, this book is still the best and clearest textbook for model theory.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
16 of 16 people found the following review helpful By Nathan Oakes on July 11, 2005
Format: Paperback
This is a cut version of Hodges' _Model Theory_. The content that remains is mostly unaltered. The only significant new material is section 9.5 on Morley's theorem, which was previously in the exercises of section 12.2. Also, the end-of-chapter references and historical notes have been replaced by suggested readings, the phrasing has been tightened here and there, and the harder problems have been cut. From most of the chapters that were cut, key sections were saved and inserted elsewhere, making for a lot of rearranging. It's too bad the big text is so expensive, because a lot of interesting material was cut.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
11 of 11 people found the following review helpful By M. J. De on April 1, 2007
Format: Paperback
Hodges has a sharp, witty writing style. It's a model theory book that covers the standard results one would want such a text to cover (plus you can check the ToC yourself). It's a condensed version of his "Model Theory" which is generally compared to Chang and Keisler's of the same title. I haven't read either of these other ones so I can't compare them to "A Shorter Model Theory".

Be warned that many of the examples require at least some understanding of abstract algebra. So if you do just logic and have little to no background in algebra, you might want to pick some up before reading this. But it's not necessary.

The exercises seem well-chosen. There is no answer key. They occur at the end of each subsection of a chapter. There are on average four subsections per chapter, and the exercises require one to apply their knowledge of the subsection or a combination of subsections of the chapter. Sometimes they require going ahead a little, but usually they build on stuff from previous chapters. They vary in difficulty, so you can skip some of them if they prove too challenging. Each chapter also has "Suggested further readings".

The book is not as notation-heavy as some of the others I've quickly glanced at. I liked that. I found that some stuff could've used better or more thorough explanation, at least to someone who is self-studying, or studying in a small group, none of whose members has previously studied model theory at an intermediate level.

I highly recommend it. It's priced well, clear, and stylistically well-written and pleasing to read.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again

Set up an Amazon Giveaway

Amazon Giveaway allows you to run promotional giveaways in order to create buzz, reward your audience, and attract new followers and customers. Learn more
A Shorter Model Theory
This item: A Shorter Model Theory
Price: $73.26
Ships from and sold by

Want to discover more products? Check out this page to see more: tarski decision method in elementary algebra and geometry