عنوان :
مباحثي در اثبات ناپذيري و نظريه رمزي تعميم يافته
گرايش تحصيلي :
رياضي محض﴿منطق رياضي﴾
محل تحصيل :
اصفهان: دانشگاه صنعتي اصفهان، دانشكده علوم رياضي
يادداشت :
ص.ع.به فارسي و انگليسي
استاد راهنما :
مجتبي آقايي
استاد مشاور :
بهناز عمومي
توصيفگر ها :
جمله مستقل , قضيه كاناموري - مك آلون , قضيه پاريس - هرينگتون , قضيه رمزي كانونيك , مجموعه تين , عدد رمزي , عد رمزيd - رنگي
تاريخ نمايه سازي :
1/5/92
استاد داور :
محمد اردشير، مسعود پور مهديان، رامين جوادي
كد ايرانداك :
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
استاد راهنما :
مجتبي آقايي
استاد مشاور :
بهناز عمومي
استاد داور :
محمد اردشير، مسعود پور مهديان، رامين جوادي
