عنوان
پدید آورنده
موضوع
رده
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,
شاپا ي ISSN فروست
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
