28,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 1-2 Wochen
  • Broschiertes Buch

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…mehr

Produktbeschreibung
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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.