Problem Set 7 (due Friday 95.10.27)
Exercise 4, p 184.
Hint: Use the fact that the theory of the structure
admits elimination of quantifiers (Theorem 31G). Examine what
kind of set can be defined by a quantifier-free wff with one
Exercise 5, p 184.
Hint: Use the result of the preceding exercise.
Exercise 6, p 184.