Uma Vers O Mais Curta de Teoria DOS Modelos

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 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 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 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. Cada Capítulo Termina Com Um Breve Comentário Sobre A Literatura E Sugestões De Leitura Adicional.