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