Logo

Model Theory by C. Ward Henson

Small book cover: Model Theory

Model Theory
by

Publisher: University of South Carolina
Number of pages: 122

Description:
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.

Download or read it online for free here:
Download link
(650KB, PDF)

Similar books

Book cover: Model Theory, Algebra and GeometryModel Theory, Algebra and Geometry
by - 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.
(13081 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.
(6324 views)
Book cover: MetalogicMetalogic
by - 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.
(5230 views)
Book cover: Model-Theoretic LogicsModel-Theoretic Logics
by - 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.
(8109 views)