ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Categoricity

دانلود کتاب طبقه بندی

Categoricity

مشخصات کتاب

Categoricity

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری: University Lecture Series 
ISBN (شابک) : 0821848933, 9780821848937 
ناشر: American Mathematical Society 
سال نشر: 2009 
تعداد صفحات: 248 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

قیمت کتاب (تومان) : 41,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 8


در صورت تبدیل فایل کتاب Categoricity به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب طبقه بندی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب طبقه بندی

نظریه مدل مدرن با قضیه طبقه بندی مورلی آغاز شد: یک نظریه مرتبه اول قابل شمارش که یک مدل منحصر به فرد (تا هم شکلی) در یک کاردینال غیرقابل شمارش دارد (یعنی از نظر کاردینالیته مقوله ای است) اگر و فقط اگر در همه کاردینال های غیرقابل شمارش یکسان باشد. در طول 35 سال گذشته، شله در گسترش این نتیجه به منطق بی‌نهایت، جایی که ابزار اصلی فشردگی از کار می‌افتد، گام‌های بزرگی برداشت. او مفهوم کلاس ابتدایی انتزاعی را ابداع کرد تا یک توضیح معنایی یکپارچه از نظریه‌ها در منطق مرتبه اول، بی‌نهایت و با برخی از کمی‌سازهای تعمیم‌یافته ارائه دهد. زیلبر تکنیک های مشابهی از نظریه مدل بی نهایت را برای مطالعه توان پیچیده توسعه داد. این کتاب اولین توضیح یکپارچه و سیستماتیک این اثر را ارائه می دهد. نمونه‌های فراوان از نظریه مدل خالص تا نظریه ماژول و پوشش‌های گونه‌های آبلیان امتداد دارند. با فرض تنها اولین دوره در تئوری مدل، این کتاب نتایج نهایی طبقه بندی (برای کلاس های دارای ادغام) و طبقه بندی در کلاس های عالی را توضیح می دهد. ابزارهای مهمی مانند مدل‌های ارنفوشت-موستوفسکی، انواع گالوا، رام بودن، قضایای انواع حذف، ادغام چند بعدی، انواع اتمی، مجموعه‌های خوب، الماس‌های ضعیف و کلاس‌های عالی به‌طور کامل و روشمند توسعه یافته‌اند. تکیه (گاه به گاه) بر بسط نظریه مجموعه های پایه به وضوح بیان شده است. کتاب با مجموعه ای از مسائل باز به پایان می رسد.


توضیحاتی درمورد کتاب به خارجی

Modern model theory began with Morley's categoricity theorem: A countable first-order theory that has a unique (up to isomorphism) model in one uncountable cardinal (i.e., is categorical in cardinality) if and only if the same holds in all uncountable cardinals. Over the last 35 years Shelah made great strides in extending this result to infinitary logic, where the basic tool of compactness fails. He invented the notion of an Abstract Elementary Class to give a unifying semantic account of theories in first-order, infinitary logic and with some generalized quantifiers. Zilber developed similar techniques of infinitary model theory to study complex exponentiation. This book provides the first unified and systematic exposition of this work. The many examples stretch from pure model theory to module theory and covers of Abelian varieties. Assuming only a first course in model theory, the book expounds eventual categoricity results (for classes with amalgamation) and categoricity in excellent classes. Such crucial tools as Ehrenfeucht-Mostowski models, Galois types, tameness, omitting-types theorems, multi-dimensional amalgamation, atomic types, good sets, weak diamonds, and excellent classes are developed completely and methodically. The (occasional) reliance on extensions of basic set theory is clearly laid out. The book concludes with a set of open problems.



فهرست مطالب

Contents......Page 3
Introduction......Page 5
Part 1. Quasiminimal Excellence and Complex Exponentiation......Page 11
1.1 Combinatorial geometries......Page 13
1.2 Infinitary logic......Page 14
2. Abstract Quasiminimality......Page 17
3. Covers of the Multiplicative Group of C......Page 27
Part 2. Abstract Elementary Classes......Page 35
4. Abstract Elementary Classes......Page 37
5.1 Non-definability of well-order in L_{ω_1,ω}(Q)......Page 49
5.2 The number of models in ω_1......Page 51
6.1 Completeness......Page 55
6.2 Arbitrarily large models......Page 60
6.3 Few models in small cardinals......Page 62
6.4 Categoricity and completeness in L_{ω_1,ω}(Q)......Page 64
7. A Model in ℵ_2......Page 67
Part 3. Abstract Elementary Classes with Arbitrarily Large Models......Page 73
8. Galois Types, Saturation and Stability......Page 77
9. Brimful Models......Page 83
10. Special, Limit and Saturated Models......Page 85
11. Locality and Tameness......Page 93
12. Splitting and Minimality......Page 101
13. Upward Categoricity Transfer......Page 109
14. Omitting Types and Downward Categoricity......Page 115
15. Unions of Saturated Models......Page 123
16. Life without Amalgamation......Page 129
17. Amalgamation and Few Models......Page 135
Part 4. Categoricity in L_{ω_1,ω}(Q)......Page 143
18. Atomic AEC......Page 147
19. Independence in ω-stable Classes......Page 153
20. Good Systems......Page 161
21. Excellence Goes Up......Page 169
22. Very Few Models implies Excellence......Page 175
23. Very Few Models implies Amalgamation over Pairs......Page 183
24. Excellence and *-excellence......Page 189
25. Quasiminimal Sets and Categoricity Transfer......Page 195
26.1 The basic structure......Page 203
26.2 Solutions and categoricity......Page 206
26.3 Disjoint amalgamation for models of φ_k......Page 210
26.4 Tameness......Page 211
26.5 Instability and non-tameness......Page 212
Appendix A. Morley's Omitting Types Theorem......Page 215
Appendix B. Omitting Types in Uncountable Models......Page 221
Appendix C. Weak Diamonds......Page 227
Appendix D. Problems......Page 233
Bibliography......Page 237
Index......Page 243
Errata......Page 246




نظرات کاربران