توسیع های تعریف پذیر در آنالیز نا استاندارد

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

در این پایان نامه، ابتدا ثابت میکنیم تحت(zfc) در زبانی که برای هر رابطه روی rشامل یک نمادرابطه ای ا ست، یک توسیع شمارای آکنده تعریف پذیر *rازrوجود دارد. بدین منظور ابتدا مجموعهa شامل فرافیلترهای غیر اصلی n را مرتب میکنیم. سپس یک فرافیلتر d میسازیم که از آن برای ساخت یک فراتوان از r استفاده میشود. همچنین برای ساختن یک زنجیره استقرایی از توسیع های مقدماتی بکار میرود که، ساختارگام های اردینال تالی از زنجیره، فراتوان کراندار می باشد. اجتماع این زنجیره استقرایی به عنوان یک جهان اینترنال، در یک فراساختار بزرگتر نشانده شده و یک نشاندن نااستاندارد تعریف می شود.

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

منابع مشابه

منابع من

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

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

{@ msg_add @}


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

وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس

کلمات کلیدی

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

copyright © 2015-2023