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

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

(

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

(

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

(

**5057**views)

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

(

**12863**views)