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