A College Publications assinala a publicação da tradução do livro "A Shorter Model Theory" (Cambridge Univ Press, 1997), em 17/Dezembro/2012, como Vol. 3 da Série "Cadernos de Lógica e Computação" (dirigida por Amílcar Sernadas & Cristina Sernadas): ( http://www.collegepublications.co.uk/clc/?00003)
*Cadernos de Lógica e Computação, Vol. 3* *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 _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
