|
Abstract
|
این پایان نامه برگرفته از دو مقاله زیر می باشد. فرض کنید 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
|