شماره مدرك
7883
شماره راهنما
526 دكتري
پديد آورنده
خمسه، امير
عنوان
مباحثي در اثبات ناپذيري و نظريه رمزي تعميم يافته
مقطع تحصيلي
دكتري
گرايش تحصيلي
رياضي محض﴿منطق رياضي﴾
محل تحصيل
اصفهان: دانشگاه صنعتي اصفهان، دانشكده علوم رياضي
سال دفاع
1391
صفحه شمار
هفت،85ص.
يادداشت
ص.ع.به فارسي و انگليسي
توصيفگر ها
جمله مستقل , قضيه كاناموري - مك آلون , قضيه پاريس - هرينگتون , قضيه رمزي كانونيك , مجموعه تين , عدد رمزي , عد رمزيd - رنگي
دانشكده
رياضي
كد ايرانداك
ID526 دكتري
چكيده فارسي
به فارسي و انگليسي: قابل رويت در نسخه ديجيتالي
چكيده انگليسي
Topics in Unprovability and Generalized Ramsey Theory Abstract In this thesis we study the model theoretic treatment of a finite version of the Canonical Ramsey Theorem with a largeness condition and also a version of the Kanamori McAloon principle As a consequence we produce new indicators for cuts satisfying PA We also study the finite version of Thin Set Theorem PDF created with pdfFactory trial version www pdffactory com
استاد راهنما
مجتبي آقايي
استاد مشاور
بهناز عمومي
استاد داور
محمد اردشير، مسعود پور مهديان، رامين جوادي