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 D. Haskell, A. Pillay, C. Steinhorn - Cambridge University Press
The book gives the necessary background for the model theory and the mathematics behind the applications. Aimed at graduate students and researchers, it contains surveys by leading experts covering the whole spectrum of contemporary model theory.
by Stephen G. Simpson - The Pennsylvania State University
An important branch of mathematical logic is model theory, the study of first-order theories and the classes of models defined by such theories. This course will include numerous applications of model theory to algebra, especially ordered fields ...
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 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.