 | Uma Versão Mais Curta de Teoria dos Modelos
Wilfrid Hodges. Traduzido por Ruy J. G. B. de Queiroz
Eis um livro-texto atualizado de teoria de modelos levando o leitor das primeiras definições até o teorema de Morley e as partes elementares da teoria da estabilidade. Além dos resultados padrão tais como os teoremas da compacidade e da omissão de tipos, o livro também descreve várias conexões com a álgebra, incluindo o método de eliminação de quantificadores de Skolem-Tarski, modelo-completude, grupos de automorfismos e omega-categoricidade, ultraprodutos, O-minimalidade e estruturas de posto de Morley finito. O material sobre equivalências vai-e-vem, interpretaões e leis zero-um podem servir como introdução a aplicações de teoria de modelos à ciência da computação. Cada capítulo termina com um breve comentário sobre a literatura e sugestões de leitura adicional.
17 December 2012
978-1-84890-095-0
Buy from Amazon: UK US
|
Back
