An Introduction to Good Old Fashioned Model Theory
by Harold Simmons
Publisher: The University of Manchester 2004
Number of pages: 180
Following topics are covered: Basic ideas of language, satisfaction, and compactness; Some examples of elimination of quantifiers; The diagram technique; Model complete theories, companion theories, existentially closed structures, and various refinements; Atomic structures and sufficiently saturated structures; The splitting technique and N0-categoricity.
Home page url
Download or read it online for free here:
by Jan Wolenski - ESSLLI
This text provides the basic information about the metatheory of formal system. It will start with a brief information about propositional calculus and first-order logic. Then, fundamental theorems about elementary logic will be stated and proved.
by William Weiss, Cherie D'Mello - University of Toronto
This book provides an introduction to Model Theory which can be used as a text for a reading course or a summer project at the senior undergraduate or graduate level. It is a primer which will give someone a self contained overview of the subject.
by J. Barwise, S. Feferman - Springer
The subject matter of this book constitutes a merging of several directions in general model theory: cardinality quantifiers; infinitary languages; and, finally, that on generalized quantifiers and abstract characterizations of first-order logic.
by C. Ward Henson - University of South Carolina
The purpose of this text is to give a thorough introduction to the methods of model theory for first order logic. Model theory is the branch of logic that deals with mathematical structures and the formal languages they interpret.