Uma Vers O 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.