5. Use Rices theorem to show that the following sets are not recursive.

[See section 6 for the definitions of the sets]

(a) TOT;

(b) EMPMTY;

(c) INF;

(d) FIN;

(e) MONOTONE;

(f) {y N | _y⁽¹⁾ is a predicate}

P 97 Ex 5 : Computability,Complexity, and Languages by Davis, Sigal, Weyuker