Acabamos respondendo por e-mail e daí não veio por aqui. Mas realmente essa foi uma boa justificativa. No livro que sugeri (Basic Model Theory, do Doets), ele explica as hipóteses que você precisa pra que seja completa e mostra isso usando jogos. Acho bem bacana, vale a leitura (é bem clássico, aliás).
-- 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/67cf7300-e7d4-4744-8f93-6056dff768b4%40dimap.ufrn.br.
