2011/6/27 Rodrigo Freire <[email protected]>: > 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.
Este não seria o Teorema de Löwenheim-Skolem (ascendente)? JM -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
