Model Theory : An Introduction
Model theory is a branch of mathematical logic where we study mathem- ical structures by considering the ?rst-order sentences true in those str- turesandthesetsde?nableby?rst-orderformulas.Traditionallytherehave been two principal themes in the subject: •startingwithaconcretemathematicalstructure,suchasthe?eldofreal numbers, and using model-theoretic techniques to obtain new information about the structure and the sets de?nable in the structure; • looking at theories that have some interesting property and proving general structure theorems about their models. A good example of the ?rst theme is Tarski’s work on the ?eld of real numbers. Tarski showed that the theory of the real ?eld is decidable. This is a sharp contrast to G ̈ odel’s Incompleteness Theorem, which showed that the theory of the seemingly simpler ring of integers is undecidable. For his proof, Tarski developed the method of quanti?er elimination which can be n used to show that all subsets of R de?nable in the real ?eld are geom- rically well-behaved. More recently, Wilkie  extended these ideas to prove that sets de?nable in the real exponential ?eld are also well-behaved. ThesecondthemeisillustratedbyMorley’sCategoricityTheorem,which says that if T is a theory in a countable language and there is an uncou- able cardinal ? such that, up to isomorphism, T has a unique model of cardinality ?,then T has a unique model of cardinality ? for every - countable?.ThislinehasbeenextendedbyShelah,whohasdeveloped deep general classi?cation results.
What people are saying - Write a review
A great introduction for anyone interested in studying applied model theory. Applications to algebra, in particular model theory of fields, are especially well- presented. The exercises are interesting and plentiful.
The book is perfect preparation for studying more advanced topics in applied model theory. The book also is good preparation for studying stability theory in more general cases (in this book, the totally transcendental or omega stable (the languages here are countable here) cases are carefully presented). I think studying this book leads naturally to studying stability theory, more advanced model theory of fields, and other applied model theory (like say o-minimality). One of the best aspects of the text is the historical section at the end of each chapter. These sections often mention current avenues of research in addition to describing the history of the work in the chapter.
For other model theory topics, like model theory of modules or groups, there may be more suitable texts like Poizat's book (though one should be warned that the language of model theory has evolved, and the modern working language is used in this text, but not in older ones). For those not interested in becoming model theorists, but interested in picking up some interesting model theory and applications to their own branch of mathematics, this is the ideal book. Marker's text is much better suited to this sort of study than, say, Chang and Keisler's text or the more modern book by Hodges.
Additionally, it should be said that Dave Marker's writing style is very nice, keeping the reader excited and organized. Professor Marker won the 2007 Inaugural Shoenfield Prize from the ASL for this textbook.
A First Course in Logic: An Introduction to Model Theory, Proof ..., Issue 9
No preview available - 2004