Caro Ricardo
Talvez esses termos sejam usados em mais de um sentido. Já encontrei completude forte para o enunciado: -Se T é uma teoria consistente de cardinal k então se T possui um modelo infinito então possui modelos infinitos em todos os cardinais maiores ou iguais a k. É isso que você tem em mente? Abraço Rodrigo 2011/6/27 Ricardo Pereira Tassinari <[email protected]> > Prezados. > > É corrente usarmos os termos “fraca” e “forte” para nomear as seguintes > propriedades de sistemas formais: > Correção fraca, > Correção forte, > Completude fraca e > Completude forte. > > Gostaria de saber se existem outros termos, além de “fraca” e “forte”, para > denotar essas mesmas propriedades. > > Abraços, > Ricardo. > -- > Dr. Ricardo Pereira Tassinari > Departamento de Filosofia > UNESP - FFC/Marília > www.marilia.unesp.br/ricardotassinari > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
