چکیده ندارد.

قضیه ی تعریف ناپذیری صدق در سال 1936 تارسکی توسط آلفرد تارسکی مطرح و اثبات شد. این قضیه به طور غیر رسمی می گوید، صدق حساب در حساب قابل تعریف نیست. تارسکی در اثبات خود از لم قطری (یا نقطه ثابت) استفاده کرده است. در این پایان نامه سعی بر آن است که قضیه ی تعریف ناپذیر صدق را برای مدل های نااستاندارد حساب پئانو تعمیم دهیم و اثباتی نظریه مدلی برای آن بیاوریم. این اثبات را آبراهام رابینسون درسال 196...

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

چکیده ندارد.

فرض کنید r حلقه ای شرکت پذیر و یکدار بوده، r-mod(mod-r) رسته r_مدول های چپ (راست) و mod_r (mod-r) رستهr_مدول های چپ (راست) با نمایش متناهی باشد. مدول اگر به طور دقیق مشخص نشده باشد، اشاره به r_مدول چپ خواهد داشت.ab رسته گروه های آبلی بوده و نماد? همیشه به معنی ?r خواهد بود. در این پایان نامه ما به مطالعه زیررسته های تعریف پذیر از r-mod می پردازیم. خواهیم دید که برای این هدف باید زیررسته های خاص...

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

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

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

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