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