مباحثی در اثبات ناپذیری و نظریه رمزی تعمیم یافته
Abstract(in Persian; no English abstract is available)
در این رساله ابتدا قضیه رمزی کانونیک و سپس نسخه ای از قضیه کاناموری مک آلون از جنبه نظریه مدل مورد مطالعه قرار می گیرد. در هر مورد نشانگرهای جدید و نتایج مستقل از حساب مرتبه اول پئانو به دست می آید. سپس به قضیه مجموعه تین و محاسبه مقدار دقیق عدد رمزی متناظر با آن برای برخی گراف های خاص که مسیرها از جمله آن است پرداخته می شود.