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

در نظریه ی مدل اصلی ترین و مهمترین کار در بررسی ساختارها، مشخص کردن زیرمجموعه های تعریف پذیر و توابع تعریف پذیر در آن ساختارها می باشد. مشخص کردن زیرمجموعه ها و توابع تعریف پذیر راه مطالعه ی این ساختارها را هموار خواهد کرد. در این پایان نامه سعی شده زیر مجموعه ها و توابع تعریف پذیر در زوج های چگال از ساختارهای ت-کمینه مشخص شوند.(یک ساختار را ت-کمینه می نامیم هرگاه زیر مجموعه های تعریف پذیر آن ...

مرجع اصلی این پایان نامه (5) است. مدل تعریف پذیر اردینال ( به این نوع مدل پاریس نیز خواهیم گفت) مدل از نظریه مجموعه هاست که تمامی اردنیال هایش در تعریف پذیر مرتبه اول هستند .جفری پاریس (1973) نخستین قدم را در مطالعه مدل های تعریف پذیر اردینال برداشت و نشان داد که :1- هر گسترش سازگار t از zf دارای مدلی تعریف پذیر اردینال است. 2- گسترش کامل t به تقریب یکریختی دارای مدل تعریف پذیر اردینال یکتایی ...

در این پایان نامه که بر اساس مقاله ای از فورناسیرو‎‎ و‎‎ سروی نوشته می شود‏، بسط های به طور تعریف پذیر کامل بئر از میدان های مرتب مورد مطالعه قرار می گیرند. این بسط ها ساختارهای مرتبه اولی هستند که در آن ها‎‎ هر زیرمجموعه تعریف پذیر از دامنه ساختار دارای کوچک ترین کران بالا است و دامنه نمی تواند به شکل اجتماع یک خانواده تعریف پذیر صعودی از مجموعه های هیچ جا چگال نوشته شود. هر بسط از میدان ‎‎اعد...

در این پایان نامه ساختارهای موضعاً ت-کمینه و ساختارهای دارای هسته باز موضعاً ت-کمینه مورد مطالعه و بررسی قرار می گیرند. در این راستا، پس از معرفی ت-کمینگی موضعی و ارایه مثال ها و قضایای مرتبط، به بررسی ساختارهای با هسته باز پرداخته و مشخصه ای برای داشتن هسته باز موضعاً ت-کمینه ارایه می نماییم. در این نوشتار توجه بیشتر بر بسط هایی از میدان های مرتب معطوف می باشد که به طور تعریف پذیر کامل بوده و خود...

دنباله های آسلاندر-ریتن که دنباله های تقریبال شکافته شده هم نامیده می شود توسط آسلاندر و ریتن در سال 1975-1974 معرفی شده است. در این پایان نامه وجود دنباله های آسلاندر-ریتن در رسته همریختی ها و زیررسته تکریختی ها و زیررسته بروریختی ها اثبات می کنیم و این دنباله ها را بین این رسته ها انتقال می دهیم.

چکیده: در این پایان نامه، ابتدا بعد یک زیررسته از یک رسته ی آبلی با کافی پروژکتیو را بیان می کنیم. سپس با در نظر گرفتن حلقه ی کوهن مکالی موضعی (r,m) به مطالعه ی دقیق پوچ ساز و محمل torو ext بر روی زیررسته های دلخواه mod(r) و معرفی مکان غیرآزاد حلقه ی r می پردازیم . با مطالعه این مطالب روشن خواهد شد که ارتباط نزدیکی بین بعد متناهی زیررسته ی همه ی r مدول های ماکسیمال کوهن مکالی که به طور موضع...

این مقاله به مبحث تعریف در نظام منطق سنتی می پردازد و تلاش می کند با بیان انتقادهای وارد بر این نظام و طبقه بندی و تحلیل آنها نقاط ضعف و ناکارآمدی مبحث تعریف را نشان دهد و بر آن است که بخش تعریف در منطق سنتی فی الجمله مبحثی بی ثمر است که نه به کار تحصیل تعاریف جدید می آید و نه می تواند تعاریف دانشمندان را در علوم مختلف در خود جای داده و تحلیل و بررسی کند. پس از نقد این نظام تلاش کرده ایم شیوه ا...

هدف از نوشتن این پایان نامه مطالعه در مورد ابرفضاهای برداری مستقل ساختار است. درفصل اول تعریف ابرعمل، ابرفضای برداری، زیرابرفضا آمده است. در فصل دوم ابرفضای برداری خارج قسمتی ،تبدیلات خطی ابرفضای برداری و در پایان فصل رسته ابرفضاهای برداری،که شامل رسته ابرفضاهای برداری نسبت به تبدیلات خطی قوی ، زیررسته، فانکتور، فانکتور کنترا واریانت و فانکتور دوگان است را بررسی می کنیم. فصل سوم با تعریف استقل...

فرض کنیمm یک r-مدول و a یک ایدآل از حلقه r باشد. کلاس s از r-مدول ها، زیر رسته سر از رسته r-مدول هاست در صورتیکه تحت تحت زیر مدولها، مدولهای خارج قسمتی و توسیع مدولها بسته باشد.عضویت مدول های کوهمولوزی موضعی، در زیر رسته سر از رستهr-مدول ها به ازای in بررسی شده است.دنباله های s-منظم و تعمیم یافتگی عمق تعریف شده است و رابطه این نماد با کوهمولوژی موضعی بیان شده است.از طرفی اگر m یک r-مدو...