• Title Model Theory
• Authors C. Ward Henson
• Publisher: University of Illinois at Urbana-Champaign
• Paperback: N/A
• eBook: PDF
• Language: English
• ISBN-10: N/A
• ISBN-13: N/A
• Share This:  

Book Description

This is an up-to-date 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 first-order 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 first-order 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 Skolem-Tarski method of quantifier elimination, model completeness, automorphism groups and omega-categoricity, ultraproducts, O-minimality and structures of finite Morley rank.

• C. Ward Henson is a Professor Emeritus at University of Illinois at Urbana-Champaign.

• Amazon

• Mathematical Logic - Computability, Set Theory, Model Theory, etc
• Theory of Programming Languages
• Theory of Computation
• Introduction to Computer Science

• Model Theory (C. Ward Henson)
• The Book/Course Homepage

• Fundamentals of Model Theory (William Weiss, et al)
• Basic Model Theory (Kees Doets)
• Model-Theoretic Logics (Jon Barwise, et al)
• Model Theory, Algebra, and Geometry (Deirdre Haskell, et al)