ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Intuitionistic Set Theory

دانلود کتاب نظریه مجموعه شهودی

Intuitionistic Set Theory

مشخصات کتاب

Intuitionistic Set Theory

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری: Studies in Logic 50 
ISBN (شابک) : 9781848901407 
ناشر: College Publications 
سال نشر: 2014 
تعداد صفحات: 132 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت

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



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

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


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

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


توضیحاتی در مورد کتاب نظریه مجموعه شهودی

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


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

While intuitionistic (or constructive) set theory IST has received a certain attention from mathematical logicians, so far as I am aware no book providing a systematic introduction to the subject has yet been published. This may be the case in part because, as a form of higher-order intuitionistic logic - the internal logic of a topos - IST has been chiefly developed in a tops-theoretic context. In particular, proofs of relative consistency with IST for mathematical assertions have been (implicitly) formulated in topos- or sheaf-theoretic terms, rather than in the framework of Heyting-algebra-valued models, the natural extension to IST of the well-known Boolean-valued models for classical set theory. In this book I offer a brief but systematic introduction to IST which develops the subject up to and including the use of Heyting-algebra-valued models in relative consistency proofs. I believe that IST, presented as it is in the familiar language of set theory, will appeal particularly to those logicians, mathematicians and philosophers who are unacquainted with the methods of topos theory.



فهرست مطالب

John L. Bell “Intuitionistic Set Theory” (2014) ......Page 1
Table of contents ......Page 8
Preface ......Page 10
The natural numbers and countability ......Page 12
Power sets ......Page 16
The Continuum ......Page 18
Axioms and basic definitions ......Page 22
Logical principles in IZ ......Page 26
The axiom of choice ......Page 29
The natural numbers ......Page 36
Models of Peano\'s axioms ......Page 38
Definitions by recursion ......Page 39
Finite sets ......Page 45
Frege’s construction of the natural numbers ......Page 49
Dedekind real numbers and weak real numbers ......Page 57
Cauchy real numbers ......Page 62
Intuitionistic Zermelo-Fraenkel set theory IZF ......Page 65
Frame-valued models of IZF developed in IZF ......Page 69
The consistency of ZF and ZFC relative to IZF ......Page 81
Frame-valued models of IZF developed in ZFC ......Page 82
A frame-valued model in which NN is subcountable ......Page 88
The axiom of choice in frame-valued extensions ......Page 93
Real numbers and real functions in spatial extensions ......Page 95
Properties of the set of real numbers over R ......Page 102
Properties of the set of real numbers over Baire space ......Page 104
The independence of the fundamental theorem of algebra from IZF ......Page 107
Lattices ......Page 109
Heyting and Boolean algebras ......Page 111
Coverages on partially ordered sets and their associated frames ......Page 116
Connections with logic ......Page 117
Concluding observations ......Page 122
Historical notes ......Page 125
Bibliography ......Page 127
Index ......Page 130
Back cover ......Page 132




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی