Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherCollege Publications
ISBN-101848900953
ISBN-139781848900950
eBay Product ID (ePID)164690191
Product Key Features
Number of Pages338 Pages
LanguageEnglish
Publication NameUma Versao Mais Curta De Teoria Dos Modelos
Publication Year2012
SubjectComputer Science, Logic
TypeTextbook
Subject AreaMathematics, Computers
AuthorWilfrid Hodges
FormatTrade Paperback
Dimensions
Item Height0.7 in
Item Weight16.8 Oz
Item Length9.2 in
Item Width6.1 in
Additional Product Features
SynopsisEis 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.