加载中…
In this paper we develop a technique for proving determinacy of classes of the form (a refinement of the difference hierarchy on the co-analytic sets lying between and ) from weak principles, establishing upper bounds for the determinacy-strength of the classes for all computable and of . This bridges the gap between previously known hypotheses implying determinacy in this region.

生成讲解博客的中文版本

生成AI智能校验的中文版本