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

سابقه و هدف: سندرم روده تحریک پذیر (IBS ) نوعی اختلال عملکردی در سیستم روده – معده است که با علائم ویژه گوارشی بدون علت ارگانیک تعریف می‌شود. اتیولوژی این بیماری دقیقاً روشن نیست اما افراد مبتلا به این بیماری بیشتر علائم منطبق با اختلالات سایکوپاتولوژی، صفات نابهنجار شخصیت و استرس‌های روانی را در خود گزارش کرده‌اند. لذا، پژوهش حاضر با هدف بررسی اثربخشی درمان شناختی - رفتاری گروهی در کاهش اضطر...

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

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

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

فاقد چکیده

گیریم میدان اعداد مختلط ساختنی (توسط پرگار و خطکش نامدرج) و حلقه اعداد صحیح جبری (مختلط) باشد. در این پایان نامه، تعریف پذیری در که توسط ویدلا (videla) در سال 1999 در proc. of ams به چاپ رسید مورد توصیف قرار می گیرد. انگیزه قضیه ویدلا ناشی از قضیه تارسکی (tarski) مبنی بر تصمیم پذیری (r, +, 0)، مثلا به دلیل تمامیت نظریه میدانهای بسته حقیقی، قضیه جولیا رابینسون (j. robinson) مبنی بر تصمیم ناپذیری...