Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In a recent answer, JDH gave a remarkable proof that the integers are not definable in the structure $(\mathbb{Q},+,<)$ using Quantifier Elimination. Since I already have the old Enderton book, are there other texts that provide problems that can give the reader some practice using Quantifier Elimination? Thanks!

share|cite|improve this question
up vote 3 down vote accepted

Model theory texts typically have a section devoted to quantifier elimination.

For example, David Marker's book (google books link) shows quantifier elimination for the theories of dense linear orders, divisible abelian groups, presburger arithmetic, algebraically closed fields, and real closed fields all in the section pointed to there. The exercises for that particular chapter have some simple theories to work out quantifier elimination for yourself as well.

Other parts of the book have scattered results on some other theories, and some general theorems that can help with proving quantifier elimination.

share|cite|improve this answer
I second Marker's book. It is quite well-written and enjoyable. – Kaveh May 26 '11 at 5:09
Great! Many thanks to all. – ShyPerson May 26 '11 at 16:27

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.