|
" A Course in Model Theory : "
by Bruno Poizat.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
849797
|
| Main Entry
|
:
|
Poizat, Bruno.
|
| Title & Author
|
:
|
A Course in Model Theory : : an Introduction to Contemporary Mathematical Logic /\ by Bruno Poizat.
|
| Publication Statement
|
:
|
New York, NY :: Springer New York,, 2000.
|
| Series Statement
|
:
|
Universitext,
|
| Page. NO
|
:
|
1 online resource (xxxi, 443 pages)
|
| ISBN
|
:
|
1441986227
|
|
|
:
|
: 9781441986221
|
|
|
:
|
1441986227
|
|
|
:
|
1461264464
|
|
|
:
|
9781461264460
|
| Contents
|
:
|
1 Elementary Classes of Relations -- The Language Associated with a Relation -- 3 Extensions of the Language: Structures -- 4 Compactness -- 5 The Back-and-Forth Method in?-Saturated Models -- 6 Examples Illustrating the Back-and-Forth Method -- 7 Arithmetic -- 8 Ordinals and Cardinals -- 9 Saturated Models -- 10 Prime Models -- 11 Heirs -- 12 Special Sons, Morley Sequences -- 13 The Fundamental Order -- 14 Stability and Saturated Models -- 15 Forking -- 16 Strong Types -- 17 Notions of Rank -- 18 Stability and Prime Models -- 19 Stability, Indiscernible Sequences and Weights -- 20 Dimension in Models of a Totally Transcendental Theory -- Index of Notation.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Logic, Symbolic and mathematical.
|
| Subject
|
:
|
Mathematics.
|
| Subject
|
:
|
Logic, Symbolic and mathematical.
|
| Subject
|
:
|
Mathematics.
|
| Dewey Classification
|
:
|
511.3
|
| LC Classification
|
:
|
QA8.9-10.3
|
| |