ISBN-13: 9781848900950 / Portugalski / Miękka / 2012 / 338 str.
Eis um livro-texto atualizado de teoria de modelos levando o leitor das primeiras defi nicoes ate o teorema de Morley e as partes elementares da teoria da estabilidade. Alem dos resultados padrao tais como os teoremas da compacidade e da omissao de tipos, o livro tambem descreve varias conexoes com a algebra, incluindo o metodo de eliminacao de quantifi cadores de Skolem-Tarski, modelocompletude, grupos de automorfi smos e omegacategoricidade, ultraprodutos, O-minimalidade e estruturas de posto de Morley finito. O material sobre equivalencias vai-e-vem, interpretacoes e leis zero-um pode servir como introducao a aplicacoes de teoria de modelos a ciencia da computacao. Cada capitulo termina com um breve comentario sobre a literatura e sugestoes de leitura adicional."
Eis um livro-texto atualizado de teoria de modelos levando o leitor das primeiras defi niçoes até o teorema de Morley e as partes elementares dateoria da estabilidade. Além dos resultados padrao tais como os teoremas da compacidade e da omissao de tipos, o livro também descreve várias conexoescom a álgebra, incluindo o método de eliminaçao de quantifi cadores de Skolem-Tarski, modelocompletude, grupos de automorfi smos e omegacategoricidade,ultraprodutos, O-minimalidade e estruturas de posto de Morley finito. O materialsobre equivalencias vai-e-vem, interpretaçoes e leis zero-um pode servir como introduçao a aplicaçoes de teoria de modelos a ciencia da computaçao. Cadacapítulo termina com um breve comentário sobre a literatura e sugestoes de leitura adicional.