Agora acho que entendi. O resultado só diz que se P≠NP é independente de ZFC então P=NP não é Pi_1.
Sim, se você coneguir uma função de Skolem demonstravelmente recursiva você reduz para Pi_1. Hipoteses de grandes cardinais podem de fato garantir mais funções de Skolem. Abraço Rodrigo _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
