مشخصات پژوهش

عنوان	اصل ناپذیری ت-کمینگی
نوع پژوهش	پایان نامه
کلیدواژه‌ها	ت-کمینگی- به طور محاسبه پذیر اصل پذیر - فرا ضرب
چکیده	این پایان نامه برگرفته از دو مقاله زیر می باشد. فرض کنید L بسطی از زبان میدانهای مرتب باشد به طوری که حداقل دارای یک نماد محمولی یا نماد تابعی جدید باشد در مقاله [1] با استفاده زیرکانه ازقضیه ناتمامیت دوم گودل نشان داده شده است که هر مجموعه بازگشتی از جملات دارای مدلی هم ارز مقدماتی با هیچ فرا ضربی از ساختارهای ت-کمینه نمی باشد در نتیجه نظریه ساختارهای ت-کمینه اصل پذیر بازگشتی نیست.تعمیمی از این نتیجه به همراه چندین کاربرد در مقاله [2]آمده است. [1] Rennet, A., The non-axiomatizability, J. Symb. Log. 79 (2014), no.1, 54-59. [2] Sinclair, P., Computable axiomatizability of elementary classes, Math. Log. Quart. 62 (2016, no.1-2, 46-51
پژوهشگران	سمیه تاری (استاد مشاور)