**Fundamentals of Model Theory**

by William Weiss, Cherie D'Mello

**Publisher**: University of Toronto 1997**Number of pages**: 64

**Description**:

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 also a primer which will give someone a self contained overview of the subject, before diving into one of the more encyclopedic standard graduate texts.

Download or read it online for free here:

**Download link**

(PDF/PS/DVI)

## Similar books

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

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.

(

**5945**views)

**Model-Theoretic Logics**

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.

(

**7745**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.

(

**4915**views)

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

(

**317**views)