2011/6/27 Rodrigo Freire freires...@gmail.com:
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
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.
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