Books by Wilfrid Hodges

Eis um livro-texto atualizado de teoria de modelos levando o leitor das primeiras defi nições até o teorema de Morley e as partes elementares dateoria 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õescom a álgebra, incluindo o método de eliminação 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 equivalências vai-e-vem, interpretações e leis zero-um pode servir como introdução a aplicações de teoria de modelos à ciência da computação. Cadacapítulo termina com um breve comentário sobre a literatura e sugestões de leitura adicional.

If a man supports Arsenal one day and Spurs the next then he is fickle but not necessarily illogical. From this starting point, and assuming no previous knowledge of logic, Wilfrid Hodges takes the reader through the whole gamut of logical expressions in a simple and lively way. Readers who are more mathematically adventurous will find optional sections introducing rather more challenging material. 'A lively and stimulating book' Philosophy