Key points are not available for this paper at this time.
لكل n، لنعتبر n تعني "الجملة صحيحة في جميع المجموعات المتعدية ₍+₁-صحيحة. " بافتراض axiome G\"odel V = L، نثبت ما يلي من النسخة المدرجة من نظرية الاكتمال لسلوفاي: مجموعة الصيغ التي تصدق تحت هذا التفسير هي بالضبط مجموعة المبرهنات في منطق القابلية الخطية GLP. 3. كما نوضح أن هذه النتيجة غير قابلة للإثبات في ZFC، لذا لا يمكن إزالة الفرضية V = L. كجزء من الإثبات، نستنتج (في ZFC) النتائج المنطقية البحتة التالية التي تهم في حد ذاتها: منطق GLP. 3 يتزامن مع منطق الاستبدالات المغلقة لـ GLP، وهو أقصى توسع عادي غير متدهور لـ GLP.
أجويليرا وآخرون (الجمعة) درسوا هذا السؤال.