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ê 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/41878577-B078-43AD-B5E4-15EF905D0C17%40gmail.com.
