Uma Versao Mais Curta De Teoria Dos Modelos

Eis um livro-texto atualizado de teoria de modelos levando o leitor das primeiras defi nies at o teorema de Morley e as partes elementares da
teoria da estabilidade. Alm dos resultados padro tais como os teoremas da compacidade e da omisso de tipos, o livro tambm descreve vrias conexes
com a lgebra, incluindo o mtodo de eliminao 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 equivalncias vai-e-vem, interpretaes e leis zero-um pode servir como introduo a aplicaes de teoria de modelos cincia da computao. Cada
captulo termina com um breve comentrio sobre a literatura e sugestes de leitura adicional.