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] > <javascript:>> 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] <javascript:>. > 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 > > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/fd29aebb-a549-4ecc-aab1-38f5881af99d%40dimap.ufrn.br?utm_medium=email&utm_source=footer> > . > > -- 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/4a64af54-0a69-425c-8f77-8ed11da311aa%40dimap.ufrn.br.
