**An Introduction to Good Old Fashioned Model Theory**

by Harold Simmons

**Publisher**: The University of Manchester 2004**Number of pages**: 180

**Description**:

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.

Download or read it online for free here:

**Download link**

(660KB, PDF)

## Similar books

**Fundamentals of 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.

(

**7080**views)

**Metalogic**

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.

(

**4379**views)

**Model Theory**

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.

(

**5947**views)

**Hack, Hack, Who's There? A Gentle Introduction to Model Theory**

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.

(

**675**views)