مشخصات کتاب

Descriptive Set Theory and Forcing: How to Prove Theorems about Borel Sets the Hard Way

ویرایش:  
نویسندگان: Arnold W. Miller  
سری: Lecture Notes in Logic 4 
ISBN (شابک) : 9781316716977 
ناشر: Cambridge University Press 
سال نشر: 2017 
تعداد صفحات: 136 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 16 Mb 

در صورت تبدیل فایل کتاب Descriptive Set Theory and Forcing: How to Prove Theorems about Borel Sets the Hard Way به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب نظریه مجموعه های توصیفی و اجبار: نحوه اثبات قضایای مجموعه های بورل به روش سخت نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب نظریه مجموعه های توصیفی و اجبار: نحوه اثبات قضایای مجموعه های بورل به روش سخت

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

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

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the fourth publication in the Lecture Notes in Logic series, Miller develops the necessary features of the theory of descriptive sets in order to present a new proof of Louveau's separation theorem for analytic sets. While some background in mathematical logic and set theory is assumed, the material is based on a graduate course given by the author at the University of Wisconsin, Madison, and is thus accessible to students and researchers alike in these areas, as well as in mathematical analysis.

فهرست مطالب

Contents......Page 7
1 What are the reals, anyway?......Page 10
2 Borel Hierarchy......Page 12
3 Abstract Borel hierarchies......Page 16
4 Characteristic function of a sequence......Page 18
5 Martin's Axiom......Page 21
6 Generic Gδ......Page 23
7 α-forcing......Page 26
8 Boolean algebras......Page 31
9 Borel order of a field of sets......Page 35
10 CH and orders of separable metric spaces......Page 37
11 Martin-Solovay Theorem......Page 39
12 Boolean algebra of order ω1......Page 43
13 Luzin sets......Page 47
14 Cohen real model......Page 51
15 The random real model......Page 62
16 Covering number of an ideal......Page 69
17 Analytic sets......Page 73
18 Constructible well-orderings......Page 76
19 Hereditarily countable sets......Page 77
20 Shoenfield Absoluteness......Page 79
21 Mansfield-Solovay Theorem......Page 81
22 Uniformity and Scales......Page 82
23 Martin's axiom and Constructibility......Page 87
24 Σ 1 2 well-orderings......Page 89
25 Large Π 1 2 sets......Page 90
26 Souslin-Luzin Separation Theorem......Page 93
27 Kleene Separation Theorem......Page 95
28 Π 1 1-Reduction......Page 98
29 Δi-codes......Page 100
30 Π 1 1 equivalence relations......Page 103
31 Borel metric spaces and lines in the plane......Page 108
32 Σ 1 1 equivalence relations......Page 112
33 Louveau's Theorem......Page 116
34 Proof of Louveau's Theorem......Page 122
References......Page 126
Index......Page 133
Elephant Sandwiches......Page 135

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

کتاب های تصادفی

دانلود کتاب The nature of capital and income

دانلود کتاب Abundant Earth: Toward an Ecological Civilization

دانلود کتاب Everyone Needs a Mentor: Fostering Talent in Your Organisation

دانلود کتاب Chronopoetics: The Temporal Being and Operativity of Technological Media

دانلود کتاب A Commentary on Jean-Paul Sartre's Being and Nothingness