دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: 1 نویسندگان: Jean-Louis Krivine (auth.) سری: Synthese Library 34 ISBN (شابک) : 9789027704115, 9789401031448 ناشر: Springer Netherlands سال نشر: 1971 تعداد صفحات: 107 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
کلمات کلیدی مربوط به کتاب مقدمه ای بر تئوری مجموعه اگزمیاتیک: منطق، منطق ریاضی و مبانی
در صورت تبدیل فایل کتاب Introduction to Axiomatic Set Theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مقدمه ای بر تئوری مجموعه اگزمیاتیک نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب اثباتهای سازگاری نسبی کلاسیک را در تئوری مجموعهها ارائه میکند که با دستگاه «مدلهای درونی» بهدست میآیند. سه نمونه از این مدل ها در فصل های ششم، هفتم و هشتم بررسی شده است. مهم ترین آنها، کلاس مجموعه های ساختنی، به نتیجه G6del منتهی می شود که اصل انتخاب و فرضیه پیوستگی با بقیه نظریه مجموعه ها مطابقت دارند [1] I. بنابراین متن مقدمه ای است برای نتایج پی کوهن در مورد استقلال این بدیهیات [2]، و بسیاری از اثبات های سازگاری نسبی دیگر که بعداً با روش های کوهن به دست آمد. فصل های I و II بدیهیات نظریه مجموعه ها را معرفی می کنند و بخش هایی از نظریه را که برای هر اثبات سازگاری نسبی ضروری است، توسعه می دهند. روش تعریف بازگشتی در ترتیبی که یک مورد مهم مورچه در این نقطه است. اگرچه، کم و بیش عمداً، هیچ مدرکی حذف نشده است، توسعه در اینجا نیازمند تسهیلات خاصی در نظریه مجموعه های ساده لوحانه و در روش بدیهی از خواننده است، مانند چیزی که باید مثلاً در سال اول به دست آید. کار فارغ التحصیل (2 سیکل از mathernatiques).
This book presents the classic relative consistency proofs in set theory that are obtained by the device of 'inner models'. Three examples of such models are investigated in Chapters VI, VII, and VIII; the most important of these, the class of constructible sets, leads to G6del's result that the axiom of choice and the continuum hypothesis are consistent with the rest of set theory [1]I. The text thus constitutes an introduction to the results of P. Cohen concerning the independence of these axioms [2], and to many other relative consistency proofs obtained later by Cohen's methods. Chapters I and II introduce the axioms of set theory, and develop such parts of the theory as are indispensable for every relative consistency proof; the method of recursive definition on the ordinals being an import ant case in point. Although, more or less deliberately, no proofs have been omitted, the development here will be found to require of the reader a certain facility in naive set theory and in the axiomatic method, such e as should be achieved, for example, in first year graduate work (2 cycle de mathernatiques).
Content: I: The Zermelo/Fraenkel Axioms of Set Theory --
II: Ordinals, Cardinals --
III: The Axiom of Foundation --
IV: The Reflection Principle --
V: The Set of Expressions --
VI: Ordinal Definable Sets. Relative Consistency of the Axiom of Choice --
VII: Fraenkel/Mostowski Models. Relative Consistency of the Negation of the Axiom of Choice (without the Axiom of Foundation) --
VIII: Constructible Sets. Relative Consistency of the Generalized Continuum Hypothesis.