Model Theory
by Stephen G. Simpson
Publisher: The Pennsylvania State University 1998
Number of pages: 127
Description:
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 and differential fields.
Download or read it online for free here:
Download link
(960KB, PDF)
Similar books
Fundamentals of Model Theoryby 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.
(10134 views)
Model-Theoretic Logicsby 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.
(10212 views)
Model Theory, Algebra and Geometryby 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.
(15371 views)
Metalogicby 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.
(7206 views)