Logo

Model-Theoretic Logics by J. Barwise, S. Feferman

Small book cover: Model-Theoretic Logics

Model-Theoretic Logics
by

Publisher: Springer
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.

Home page url

Download or read it online for free here:
Download link
(multiple PDF files)

Similar books

Book cover: Fundamentals of Model TheoryFundamentals of Model Theory
by - 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.
(7656 views)
Book cover: An Introduction to Good Old Fashioned Model TheoryAn Introduction to Good Old Fashioned Model Theory
by - 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.
(6026 views)
Book cover: Hack, Hack, Who's There? A Gentle Introduction to Model TheoryHack, Hack, Who's There? A Gentle Introduction to Model Theory
by - 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.
(1322 views)
Book cover: Model TheoryModel Theory
by - 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 ...
(467 views)