جعفر صادق عیوضلو
پایان‌نامه‌ها
زوج های چگال از ساختارهای ت-کمینه
در نظریه ی مدل اصلی ترین و مهمترین کار در بررسی ساختارها، مشخص کردن زیرمجموعه های تعریف پذیر و توابع تعریف پذیر در آن ساختارها می باشد. مشخص کردن زیرمجموعه ها و توابع تعریف پذیر راه مطالعه ی این ساختارها را هموار خواهد کرد. در این پایان نامه سعی شده زیر مجموعه ها و توابع تعریف پذ
وجود اعضای اول در حلقه های سری های توانی تعمیم یافته
در این پایان نامه وجود اعضای اول در برخی از حلقه های سری های توانی تعمیم یافته اثبات می شود.در واقع با استفاده از ارزیاب اردینال مقدار معرفی شده توسط براردوچی نشان داده می شود که اگر k یک میدان با مشخصه صفر باشد، آنگاه حلقه متشکل از سری های توانی تعمیم یافته با ضرایب در k و نماها
اعضای 0-تعریف پذیر در یک میدان
در این پایان نامه که بر مبنای مقاله ای از آپولونیوس تیشکا نوشته شده است، یک طبقه بندی از نوع حسابی از اعضای یک میدان که در زبان مرتبه اول حلقه ها تعریف پذیر بدون پارامتر وجودی می باشند، ارایه می شود. به عنوان کاربردی از این مطلب نشان داده می شود که در میدان های شامل یک زیرمیدان ب
یک قضیه درونیابی در منطق مرتبه اول
این پایاننامه نتیجه درونیابی را در یک چارچوب فرمولهای منطق مرتبه اول نسبی سازی شده ارائه می کنیم، که در حقیقت زمینه مشترک برای درونیابی لیندون و درونیابی چندگونه ای ففرمن ارائه می دهد. این نتایج علاوه بر دادن پایه ای نظریه مدلی مشترک برای این دو نتیجه درونیابی مهم، همچنین منظری ی
ساختارهای دارای هسته باز ت-کمینه
فرض کنید r یک توسیع به طور تعریف پذیر کامل (یعنی فاقد شکاف ددکیند تعریف پذیر) از یک گروه مرتب چگال (r,<,*) باشد که در خاصیت تناهی یکنواخت صدق می کند (یعنی هر خانوادهی تعریف پذیر از زیرمجموعه های متناهی دارای یک کران بالای متناهی برای تعداد اعضای زیرمجموعهها می باشد). در این صور