عنوان
پدید آورنده
موضوع
رده
QA8.9-10.3
QA8
.
9-10
.
3
کتابخانه
محل استقرار
1441986227
9781441986221
1441986227
1461264464
9781461264460
A Course in Model Theory :
[Book]
an Introduction to Contemporary Mathematical Logic /
by Bruno Poizat.
New York, NY :
Springer New York,
2000.
1 online resource (xxxi, 443 pages)
Universitext,
0172-5939
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.
0
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.
9781461264460
Logic, Symbolic and mathematical.
Mathematics.
Logic, Symbolic and mathematical.
Mathematics.
MAT018000
PBC
PBCD
511
.
3
23
QA8
.
9-10
.
3
Poizat, Bruno.
20200823024430.0
pn
مطالعه متن کتاب [Book]
Y
