1)Teorema di Rice: dimostrazione ed applicazione all'insieme {x: fi(x)(5)=6};
2)Dimostrare che il quantificatore esistenziale limitato è ricorsivo primitivo;
3)Dimostrare che è derivabile la formula E(esiste)x.A(x)->Ay(per ogni).A(y)OR Ez.A(z)