دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: 1 نویسندگان: Kenneth Kunen سری: Studies in Logic and the Foundations of Mathematics 102 ISBN (شابک) : 0444868399, 9780444868398 ناشر: North Holland سال نشر: 1983 تعداد صفحات: 328 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
در صورت تبدیل فایل کتاب Set Theory. An Introduction to Independence Proofs به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تئوری مجموعه ها مقدمه ای بر مدارک استقلال نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
بسیاری از شاخه های ریاضیات انتزاعی تحت تأثیر اثبات استقلال مدرن در نظریه مجموعه ها قرار گرفته اند. این کتاب مقدمهای بر اثبات سازگاری نسبی در نظریه مجموعههای بدیهی ارائه میکند و در نظر گرفته شده است که به عنوان متنی در دورههای تحصیلات تکمیلی اولیه در آن موضوع استفاده شود. امید است که این درمان موضوع را برای آن دسته از ریاضیدانانی که تحقیقاتشان به بدیهیات حساس است قابل دسترس باشد. خوانندگان باید معادل دوره لیسانس در مورد کاردینال ها و دستورات را داشته باشند، اما آموزش خاصی در منطق لازم نیست. این جلد شامل بحثی در مورد تکنیک های مدرن در اجبار، و همچنین پوشش ترکیبیات بی نهایت و ارتباط آن با اثبات استقلال است. این کار همچنین دارای یک بررسی شفاف از حقایق اساسی در مورد ساختپذیری است.
Many branches of abstract mathematics have been affected by the modern independence proofs in set theory. This book provides an introduction to relative consistency proofs in axiomatic set theory, and is intended to be used as a text in beginning graduate courses in that subject. It is hoped that this treatment will make the subject accessible to those mathematicians whose research is sensitive to axiomatics. The readers should have had the equivalent of an undergraduate course on cardinals and ordinals, but no specific training in logic is necessary. The volume includes a discussion of modern techniques in forcing, as well as coverage of infinitary combinatorics and its relevance to independence proofs. The work also features a lucid treatment of basic facts about constructibility.