A Course in Model Theory

An Introduction to Contemporary Mathematical Logic

Bruno Poizat - Collection Universitext

443 pages, parution le 13/04/2004

Ajouter à une liste

Indisponible

Résumé

This book, translated from the French, is an introduction to first-order model theory. The first six chapters are very basic: starting from scratch, they quickly reach the essential, namely, the back-and-forth method and compactness, which are illustrated with examples taken from algebra. The next chapter introduces logic via the study of the models of arithmetic, and the following is a combinatorial tool-box preparing for the chapters on saturated and prime models. The last ten chapters form a rather complete but nevertheless accessible exposition of stability theory, which is the core of the subject.

Written for:
Graduate mathematics students, logicians, mathematicians

Sommaire

Elementary classes of relations
The language associated with a relation
Extensions of the language: structures
Compactness
The back-and-forth method in w-saturated models
Examples illustrating the back-and-forth method
Arithmetic
Ordinals and cardinals
Saturated models
Prime models
Heirs
Special sons, Morley sequences
The fundamental order
Stability and saturated models
Forking
Strong Types
Notions of rank
Stability and prime models
Stability, indiscernible sequences and weights
Dimension in models of a totally transcendental theory

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Springer
Auteur(s)	Bruno Poizat
Collection	Universitext
Parution	13/04/2004
Nb. de pages	443
Format	16 x 24
Couverture	Relié
Poids	790g
Intérieur	Noir et Blanc
EAN13	9780387986555
ISBN13	978-0-387-98655-5