Rodrigo (e demais), uma questão: Se eu adicionar à teoria um axioma de densidade: ∀x∀y(Rxy ⊃ ∃z(Rxz ∧ Rzy)), ela se torna uma teoria completa? Se não, você teria um exemplo de uma teoria completa com uma única relação binária que tenha apenas modelos infinitos (de preferência uma que contenha a teoria acima)?
Obrigado mais uma vez, 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/fd29aebb-a549-4ecc-aab1-38f5881af99d%40dimap.ufrn.br.
