Reformulando: -Se T é uma teoria consistente de cardinal k então T possui modelo e se T possui um modelo infinito então possui modelos infinitos em todos os cardinais maiores ou iguais a k.
Abraço Rodrigo _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
