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

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

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

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

یکی از مباحث غنی در نظریه ی مدل های کاربردی، تـ -کمینگی است. یک ساختار مرتب را تـ -کمینه می نامند هرگاه هر زیرمجموعه تعریف پذیر یک بعدی ‏آن اجتماعی متناهی از بازه های باز و نقطه ها باشد. میدان مرتب عددهای حقیقی تـ -کمینه است. بسیاری از ویژگی های مجموعه های نیمه جبری (زیرمجموعه های تعریف پذیر در r^n‎ نتیجه ای از تـ -کمینگی است و بنابراین در دیگر ساختارهای تـ -کمینه نیز برقرار می باشد. یک تعمیم ط...

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

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