BU CLA MA 531: Computability and Logic

Fall 1995

Problem Set 7 (due Friday 95.10.27)

1. 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 free variable.

2. Exercise 5, p 184.
   Hint: Use the result of the preceding exercise.

3. Exercise 6, p 184.
   

Assaf Kfoury

Created: 95.10.20