**Model-Theoretic Logics**

by J. Barwise, S. Feferman

**Publisher**: Springer 1985**ISBN/ASIN**: 0387909362**ISBN-13**: 9780387909363**Number of pages**: 893

**Description**:

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.

Download or read it online for free here:

**Download link**

(multiple PDF files)

## Similar books

**Model Theory, Algebra and Geometry**

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.

(

**13643**views)

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

(

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

(

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

(

**2089**views)