مشخصات کتاب

Consequences of the axiom of choice

ویرایش:  
نویسندگان: Paul Howard,  Jean E,  Rubin  
سری: Mathematical Surveys and Monographs 059 
ISBN (شابک) : 0821809776, 3232752772 
ناشر: American Mathematical Society 
سال نشر: 1998 
تعداد صفحات: 442 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

در صورت تبدیل فایل کتاب Consequences of the axiom of choice به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

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

این کتاب، پیامدهای اصل انتخاب، فهرستی جامع از جملاتی است که در 100 سال گذشته با استفاده از اصل انتخاب به اثبات رسیده اند. به هر پیامد، که به عنوان شکلی از بدیهیات انتخاب نیز گفته می شود، یک عدد اختصاص داده می شود. بخش اول فهرستی از فرم ها بر اساس شماره است. در این بخش، هر فرم همراه با فهرستی از تمام عبارات شناخته شده معادل آن (معادل در نظریه مجموعه ها بدون اصل انتخاب) ارائه می شود. در قسمت دوم فرم ها بر اساس موضوع مرتب شده اند. در بخش سوم، مدل‌های نظریه مجموعه‌ها را توضیح می‌دهیم که برای نشان دادن پیامدهای بین اشکال استفاده می‌شوند. بخش چهارم، بخش یادداشت‌ها، شامل تعاریف، خلاصه‌ای از حوزه‌های فرعی مهم و شواهدی است که در جای دیگر به آسانی در دسترس نیستند. بخش پنجم به روابط بین فرم ها اشاره می کند و قسمت ششم کتابشناسی است. قسمت هفتم بر روی فلاپی دیسکی که در کتاب محصور شده است موجود است. این شامل یک جدول با شماره فرم به عنوان سرفصل سطر و ستون است. ورودی جدول در ردیف $n$، ستون $k$ وضعیت مفهوم "form $n$ به معنای فرم $k$" را نشان می دهد. نرم افزاری برای استخراج آسان اطلاعات از جدول نیز ارائه شده است. ویژگی ها: خلاصه کامل تمام کارهای انجام شده در 100 سال گذشته بر روی عباراتی که ضعیف تر از بدیهیات انتخاب هستند نرم افزار ارائه شده دسترسی کامل و راحت به اطلاعات در مورد روابط بین پیامدهای مختلف اصل انتخاب و مدل های مجموعه را می دهد. توضیحات تئوری بیش از 100 مدل مورد استفاده در مطالعه اصل انتخاب یک کتابشناسی گسترده درباره نرم افزار: جداول 1 و 2 در نرم افزار سازگار با رایانه شخصی همراه با کتاب قابل دسترسی هستند. علاوه بر این، برنامه maketex.c در بسته نرم افزاری فایل های TeX حاوی کپی هایی از جدول 1 و جدول 2 را ایجاد می کند که ممکن است سپس چاپ شوند. (جدول 1 و 2 نیز در وب سایت نویسندگان موجود است: http://www.math.purdue.edu/$\sim$jer/ یا http://www.emunix.emich.edu/$\sim$ phoward/.) دستورالعمل های دقیق برای راه اندازی و استفاده از نرم افزار در مقدمه کتاب آمده است و پشتیبانی فنی مستقیماً از نویسندگان در دسترس است.

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

This book, Consequences of the Axiom of Choice, is a comprehensive listing of statements that have been proved in the last 100 years using the axiom of choice. Each consequence, also referred to as a form of the axiom of choice, is assigned a number. Part I is a listing of the forms by number. In this part each form is given together with a listing of all statements known to be equivalent to it (equivalent in set theory without the axiom of choice). In Part II the forms are arranged by topic. In Part III we describe the models of set theory which are used to show non-implications between forms. Part IV, the notes section, contains definitions, summaries of important sub-areas and proofs that are not readily available elsewhere. Part V gives references for the relationships between forms and Part VI is the bibliography. Part VII is contained on the floppy disk which is enclosed in the book. It contains a table with form numbers as row and column headings. The entry in the table in row $n$, column $k$ gives the status of the implication ``form $n$ implies form $k$''. Software for easily extracting information from the table is also provided. Features: complete summary of all the work done in the last 100 years on statements that are weaker than the axiom of choice software provided gives complete, convenient access to information about relationships between the various consequences of the axiom of choice and about the models of set theory descriptions of more than 100 models used in the study of the axiom of choice an extensive bibliography About the software: Tables 1 and 2 are accessible on the PC-compatible software included with the book. In addition, the program maketex.c in the software package will create TeX files containing copies of Table 1 and Table 2 which may then be printed. (Tables 1 and 2 are also available at the authors' Web sites: http://www.math.purdue.edu/$\sim$jer/ or http://www.emunix.emich.edu/$\sim$phoward/.) Detailed instructions for setting up and using the software are included in the book's Introduction, and technical support is available directly from the authors

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

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

دانلود کتاب Complete Dogcare

دانلود کتاب From Justinian to Branimir: The Making of the Middle Ages in Dalmatia

دانلود کتاب Software Engineering: Objektorientierte Software-Entwicklung mit der Unified Modeling Language

دانلود کتاب A Digital Bundle: Protecting and Promoting Indigenous Knowledge Online

دانلود کتاب Aux frontieres du surhumain.