by J. Barwise, S. Feferman
Publisher: Springer 1985
Number of pages: 893
The subject matter of this book constitutes a merging of several directions of work in general model theory over the last 25 years. Three main lines can be distinguished: first, that initiated by Andrzej Mostowski on cardinality quantifiers; second, the work of Alfred Tarski, his colleagues and students on infinitary languages; and, finally, that stemming from the results of Per Lindstrom on generalized quantifiers and abstract characterizations of first-order logic.
Home page url
Download or read it online for free here:
(multiple PDF files)
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.
by Harold Simmons - The University of Manchester
Topics 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; etc.
by David Reid - Smashwords
The skeleton of this book is a science fiction story without the usual mangling of physics. The flesh is composed of non-technical mainstream explanations and examples of the field of mathematics which deals with meaning, called Model Theory.
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.