رفتن به محتوای اصلی
x
معرفی یك ارزیابی هنسلی تعریف پذیر با پیچیدگی سوری بالا
تاریخ دفاع
مقطع تحصیلی
كارشناسی ارشد
گروه آموزشی
ریاضی
استاد

محسن خانی

دانشکده
علوم ریاضی

هدف این پایان نامه پاسخ دادن به این سوال است که آیا یک فرمول 98 و یا یک فرمول 98 در زبان حلقه ها وجود دارد که حلقه ارزیاب یک میدان ارزیابی هنسلی را بدون پارامتر تعریف کند؟ این سوال توسط پرسنل در مقاله 12 مطرح شده است. در پاسخ دادن به این سوال یک میدان ارزیابی هنسلی به صورت K = k((??))((? معرفی می‌کنیم که حلقه ارزیاب آن با هیچ فرمول 98 و یا 98 بدون پارامتر در زبان حلقه ها تعریف نمیشود. منظور از k((? میدان سریهای هان با گروه ارزیاب r1 است. مهمترین ایده های به کار رفته برای پاسخ به این سوال محکی از پرستل برای تعریف پذیری یک حلقه ارزیاب با فرموهای 89 و 98 و همچنین قضیه اکس کوچن و ارشوف است که هر دو در پایان نامه آورده شده است.

تحت نظارت وف ایرانی