کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
8904319 1633422 2018 33 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Determinacy of refinements to the difference hierarchy of co-analytic sets
ترجمه فارسی عنوان
تعیین پذیرفتن به سلسله مراتب اختلاف مجموعه های تحلیلی
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی
In this paper we develop a technique for proving determinacy of classes of the form ω2-Π11+Γ (a refinement of the difference hierarchy on Π11 lying between ω2-Π11 and (ω2+1)-Π11) from weak principles, establishing upper bounds for the determinacy-strength of the classes ω2-Π11+Σα0 for all computable α and of ω2-Π11+Δ11. This bridges the gap between previously known hypotheses implying determinacy in this region.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 169, Issue 1, January 2018, Pages 83-115
نویسندگان
,