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.
| Author: Wilfrid Hodges |
| Publisher: College Publications |
| Publication Date: Dec 17, 2012 |
| Number of Pages: 338 pages |
| Binding: Paperback or Softback |
| ISBN-10: 1848900953 |
| ISBN-13: 9781848900950 |
