FreeComputerBooks.com
Links to Free Computer, Mathematics, Technical Books all over the World


 Title Model Theory
 Authors C. Ward Henson
 Publisher: University of Illinois at UrbanaChampaign
 Paperback: N/A
 eBook: PDF
 Language: English
 ISBN10: N/A
 ISBN13: N/A
 Share This:
Book Description
This is an uptodate textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory.
It introduces the model theory of firstorder logic, avoiding syntactical issues not too relevant to model theory. In this spirit, the compactness theorem is proved via the algebraically useful ultrsproduct technique (rather than via the completeness theorem of firstorder logic). This leads fairly quickly to algebraic applications, like Malcev's local theorems of group theory and, after a little more preparation, to Hilbert's Nullstellensatz of field theory.
Besides standard results such as the compactness and omitting types theorems, it also describes various links with algebra, including the SkolemTarski method of quantifier elimination, model completeness, automorphism groups and omegacategoricity, ultraproducts, Ominimality and structures of finite Morley rank.
About the Authors C. Ward Henson is a Professor Emeritus at University of Illinois at UrbanaChampaign.