نیرش در نظریه مدل پیوسته

پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم ریاضی
نویسنده امیر مهدیخانلو
استاد راهنما سیدمحمد باقری
تعداد صفحات: ۱۵ صفحه ی اول
سال انتشار 1391

چکیده

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

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}

نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم ریاضی

کلمات کلیدی

نیرش تایپ

میزبانی شده توسط پلتفرم ابری doprax.com