BU CLA MA 531: Computability and Logic

Fall 1995

Problem Set 2 (due Friday 95.09.22)


  1. Exercise 15, page 96.
    Hint: First, show that any function h that switches two prime numbers, say 2 and 3, can be extended to an automorphism of the structure.

  2. Exercise 21, p 97.

  3. Exercise 8, p 123.

  4. Exercise 10, p 123.

  5. Exercise 11, p 124.


Assaf Kfoury
Created: 95.09.15