Σ⁰₃ determinacy and Π¹₂ monotone induction
Hachtman, Sherwood
الأصل · EN
Building on recent work of Philip Welch, we prove that (lightface) Σ⁰₃ determinacy is equivalent to the existence of a wellfounded model satisfying the axiom scheme of (boldface) Π¹₂ monotone induction.
الترجمة العربية
لا توجد ترجمة عربية لهذا البحث بعد. كن أوّل من يطلبها: تستغرق ثوانيَ معدودة، وتُحفظ النتيجة لكل قارئ قادم.