Bom dia, pessoal, tudo bem? Estou quebrando a cabeça em um problema, e gostaria de saber se alguém da lista conseguiria me dar uma mãozinha.
Considerem a seguinte teoria de primeira ordem, formada pelos axiomas: ∀x¬Rxx , ∀x∃yRxy, ∀x∃yRyx, ∀x∀y(¬Rxy ∨ ∀z(¬Ryz ∨ Rxz)), ∀x∀y(Rxy ∨ ∀z(Ryz ∨ ¬Rxz)). Essa teoria só tem modelos de cardinalidade infinita (isso eu consigo provar). Eu gostaria de provar (se isso for verdade, é claro), que essa teoria é completa. Pensei em aplicar o teste de Łoś–Vaught, mas ainda não consegui. Se alguém tiver um tempo e encontrar uma resposta, agradeço desde já! Abraço a todos, Anderson -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/3a2bb515-dffe-4554-8237-91460e65986f%40dimap.ufrn.br.
