Logo

An Introduction to Good Old Fashioned Model Theory

Small book cover: An Introduction to Good Old Fashioned Model Theory

An Introduction to Good Old Fashioned Model Theory
by

Publisher: The University of Manchester
Number of pages: 180

Description:
Following topics are 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; Atomic structures and sufficiently saturated structures; The splitting technique and N0-categoricity.

Home page url

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

Similar books

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.
(1782 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.
(5456 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 ...
(915 views)
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.
(13327 views)