ABS Soleimania(Persion)

در اين پايان نامه بعد از تعريف مفهوم كنترل، روابط و قضاياي مربوطه را بررسي و به معرفي سيستم DCL-PC مي­پردازيم كه منطقي براي استدلال درباره توانايي عوامل و ائتلافي از عوامل با استفاده از انتقال كنترل بين عوامل مي­باشد.   پايه منطقي DCL-PC سيستم CL-PC مي­باشد. اين سيستم منطقي است براي همكاري بين عوامل كه عوامل مجموعه­اي از متغييرهاي گزاره­اي را كنترل مي­كنند و توانايي ارزشدهي به متغييرها را دارند. امتياز اين دو سيستم اين است كه اعمال تنها به دو عمل ارزشدهي و انتقال كنترل محدود است و مدل بسيار ساده تر مي­شود.

Abstract Amir Khamseh (Latin)

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.

Abstract Khamseh (Persion)

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