دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: Rev.ed. نویسندگان: Kenneth Kunen سری: Studies in Logic: Mathematical Logic and Foundations 34 ISBN (شابک) : 1848900503, 1031979476 ناشر: College Publications سال نشر: 2013 تعداد صفحات: 412 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
در صورت تبدیل فایل کتاب Set theory به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نظریه تنظیم نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب برای خوانندگانی طراحی شده است که منطق ریاضی ابتدایی و نظریه مجموعه های بدیهی را می دانند و می خواهند درباره نظریه مجموعه ها اطلاعات بیشتری کسب کنند. تمرکز اصلی کتاب بر روی اثبات استقلال است. مشهورترین آنها استقلال فرضیه پیوسته (CH) است. یعنی مدل هایی از بدیهیات نظریه مجموعه ها (ZFC) وجود دارد که در آنها CH درست است و مدل های دیگری که در آنها CH نادرست است. به طور کلی تر، قدرت اصلی در کاردینال های معمولی می تواند به طور مداوم هر چیزی باشد که با قضایای کلاسیک کانتور و کونیگ در تضاد نباشد. روشهای اساسی برای اثبات استقلال، مفهوم ساختپذیری است که توسط گودل معرفی شد و روش اجباری که توسط کوهن معرفی شد. این کتاب این روشها را به تفصیل شرح میدهد، نتایج استقلال پایه را برای توان اصلی تأیید میکند، و همچنین از این روشها برای اثبات استقلال سؤالات مختلف ریاضی در نظریه اندازهگیری و توپولوژی عمومی استفاده میکند. قبل از فصلهای اجبار، یک فصل نسبتاً طولانی در مورد "ترکیبهای بینهایت" وجود دارد. این فقط از قضایای ریاضی (نه نتایج استقلال) تشکیل شده است، اما بر حوزههایی از ریاضیات تأکید میکند که موضوعات نظری مجموعهها (مانند محاسبات اصلی) مرتبط هستند. در واقع، یک تداخل بین ترکیبهای بینهایت و اثبات استقلال وجود دارد. ترکیبهای نامحدود بسیاری از سؤالات نظری مجموعهها را پیشنهاد میکند که مستقل از ZFC هستند، اما ابزارهای اساسی مورد استفاده در استدلالهای اجباری را نیز فراهم میکند. به طور خاص، اصل موضوع مارتین، که یکی از موضوعات زیر نظر ترکیبات بی نهایت است، بسیاری از اجزای اساسی اجبار را معرفی می کند.
This book is designed for readers who know elementary mathematical logic and axiomatic set theory, and who want to learn more about set theory. The primary focus of the book is on the independence proofs. Most famous among these is the independence of the Continuum Hypothesis (CH); that is, there are models of the axioms of set theory (ZFC) in which CH is true, and other models in which CH is false. More generally, cardinal exponentiation on the regular cardinals can consistently be anything not contradicting the classical theorems of Cantor and König. The basic methods for the independence proofs are the notion of constructibility, introduced by Gödel, and the method of forcing, introduced by Cohen. This book describes these methods in detail, verifi es the basic independence results for cardinal exponentiation, and also applies these methods to prove the independence of various mathematical questions in measure theory and general topology. Before the chapters on forcing, there is a fairly long chapter on "infi nitary combinatorics". This consists of just mathematical theorems (not independence results), but it stresses the areas of mathematics where set-theoretic topics (such as cardinal arithmetic) are relevant. There is, in fact, an interplay between infi nitary combinatorics and independence proofs. Infi nitary combinatorics suggests many set-theoretic questions that turn out to be independent of ZFC, but it also provides the basic tools used in forcing arguments. In particular, Martin's Axiom, which is one of the topics under infi nitary combinatorics, introduces many of the basic ingredients of forcing