BU CLA MA 531: Computability and Logic

Fall 1995

Problem Set 5 (due Friday 95.10.13)

  1. Give examples for the facts listed in (a) and (b) of Exercise 2, page 153.
    (Do not prove them!)
    Hint: Consider the theory of fields, which is mentioned in pages 145-149.

  2. Exercise 6, p 153.

  3. Exercise 9, p 153.
    Hint: Let K be the class of all finite models of T which are also models of (not sigma). Show how to get a contradiction from the assumption that K contains structures of arbitrarily large (finite) cardinalities.

Assaf Kfoury
Created: 95.10.05