É a conjunção de Lowenheim-Skolem com completude. No livro Models and Ultraproducts isso aparece com essa denominação de completude forte. É equivalente ao axioma da escolha nessa formulação.
Abraço Rodrigo 2011/6/28 Joao Marcos <[email protected]> > 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
