Todos os modelos enumeráveis são isomorfos, então você pode usar o teste que você mencionou. É um resultado standard que dá para encontrar na literatura.
> Em 11 de dez de 2019, à(s) 14:42, Anderson Nakano <[email protected]> > escreveu: > > > Oi, Rodrigo, obrigado mais uma vez. > > Como eu provo que tal teoria é completa? > > Abraço, > > Anderson > > > Em quarta-feira, 11 de dezembro de 2019 14:37:46 UTC-3, Rodrigo Freire > escreveu: >> >> Oi Anderson, >> >> A teoria das ordens lineares estritas, sem extremos e densas é sim completa, >> só tem modelos infinitos e contém a sua. >> >> Abraço >> >> >>> Em 11 de dez de 2019, à(s) 14:25, Anderson Nakano <[email protected]> >>> escreveu: >>> >>> >>> 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ê recebeu essa mensagem porque está inscrito 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 essa 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. > > -- > Você recebeu essa mensagem porque está inscrito 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 essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/4a64af54-0a69-425c-8f77-8ed11da311aa%40dimap.ufrn.br. -- 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/302F8AE3-2A3E-4FAC-B344-7F83B406CD9D%40gmail.com.
