2 مقاله
همراهان مُدال، منطقهای مُدال نرمال هستند که منطقهای سوپر-انتوئیژنیستی (میانی) را از طریق ترجمهای خاص تفسیر میکنند. این همراهان خواص منطق میانی را به ارث میبرند و ابزاری قدرتمند برای مطالعه منطقهای میانی با استفاده از روشهای منطق مُدال فراهم میآورند. ترجمه گودل-مککینسکی-تارسکی نقش کلیدی در این ارتباط ایفا میکند.
برهان قطری تکنیکی خلاقانه در ریاضیات است که در اثبات قضایای مهمی چون قضیه کانتور، پارادوکس راسل، لم قطری، قضایای ناتمامیت گودل و مسئله توقف کاربرد دارد.
