Fall 1995
Problem Set 5 (due Friday 95.10.13)

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
145149.

Exercise 6, p 153.

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