مدل های نظریه مجموعه ها با اردینال های تعریف پذیر

پایان نامه
چکیده

مرجع اصلی این پایان نامه (5) است. مدل تعریف پذیر اردینال ( به این نوع مدل پاریس نیز خواهیم گفت) مدل از نظریه مجموعه هاست که تمامی اردنیال هایش در تعریف پذیر مرتبه اول هستند .جفری پاریس (1973) نخستین قدم را در مطالعه مدل های تعریف پذیر اردینال برداشت و نشان داد که :1- هر گسترش سازگار t از zf دارای مدلی تعریف پذیر اردینال است. 2- گسترش کامل t به تقریب یکریختی دارای مدل تعریف پذیر اردینال یکتایی است اگر و تنها اگر t اثبات کند v=od نتایج زیر در مورد مودرد مدل های پاریس مورد بررسی قرار خواهد گرفت. 1-اگر تکامل سازگاری از zf+v=od باشد آنگاه t داردای تعداد پیوستاری مدل پاریس شما برای غیر همریخت است. 2- هر مدل شمارای zfc دارای گسترش ژنریک پاریس است. 3- اگر مدل ناشمارای خوش-بنیادی از zfc موجود باشد انگاه برای هر اندازه نامتناهی k مدلی پاریس از zf با اندازه k موجود است که دارای خود ریختی غیر بدیهی است. 4- برای مدل zf= اگر مدلی اول باشد آنگاه مدل پاریس است و اصل انتخاب را ارضا می کند. اگر مدل پاریس باشد و اصل انتخاب را ارضا کند آنگاه مدلی مینیمال است. بیش از این با فرض سازگاری zf عکس هر دو استلزام برقرار نیست.

۱۵ صفحه ی اول

برای دانلود 15 صفحه اول باید عضویت طلایی داشته باشید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

کاربرد نظریه مجموعه های فازی در حسابداری

بسیاری از حوزه های حسابداری و حسابرسی بدلیل وجود شرایط تعریف نشده و نادقیق با ابهام زیادی روبروست. بسیاری از این ابهامات زائیده احساسات آدمی و متغیرهای زبانی است که تا قبل از بوجود آمدن نظریه مجموعه های فازی هیچکس نمی دانست که چگونه این ابهامات برخاسته از ذهن انسان و محیط را مدلسازی کرد. هدف از این مقاله معرفی کاربردهای نظریه مجموعه های فازی در حوزه های مختلف حسابداری است.

متن کامل

بعضی نتایج جدید در نظریه حلقه های تعویض پذیر

در این مقاله چند نتیجه درباره ساختار حلقه های تعویض پذیر را مرور خواهیم کرد. به طور عمده بر حلقه پوچتوان، حلقه های رادیکال جیکوبسن و حلقه های با بعد گلفاند - کریلف تاکید خواهیم کرد.

متن کامل

بررسی شاخص های بهداشت محیطی هتل ها ، هتل آپارتمان ها و میهمان پذیر های شهر شیراز

Introduction: Many countries are considered tourism industry as the source of income. This study aimed to determine environmental health indicators of accommodating centers of Shiraz and the role of health advisor and degree of hotel management in raising the amount of health indicators of the accommodating centers in Shiraz, 2011. Methods: This study was descriptive and case study. For dete...

متن کامل

مدل های نااستاندارد تعریف پذیر در حساب پئانو

در این پایان نامه به خواص مدل های تعریف پذیر حساب پئانو در مدل های دیگر پئانو پرداخته می شود.

15 صفحه اول

بازنگری در تعریف نظریه با رویکرد کتاب‌شناختی

برای نظریه تعاریف گوناگونی در متون ارائه شده است که با رویکرد کتاب‌شناختی و تحلیل محتوا قابل دسترسی هستند. این گوناگونی در کلیدواژه‌هایی که در تعاریف وجود دارند قابل مشاهده است. در این مقاله تعاریف موجود از نظریه در متون استخراج شد و با استفاده از روش تحلیل محتوای آن تعاریف، واژگان اصلی و مترادف‌ و بسامد هر کدام محاسبه شد. تحلیل محتوای 125 تعریف منجر به شناسایی 9 واژه‌ی اصلی و 67 واژه‌ی مترادف ...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده علوم ریاضی

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023