Showing 1–1 of 1 results for author: Sueur, C L

Determinacy of Refinements to the Difference Hierarchy of Co-analytic Sets

Authors: Chris Le Sueur

Abstract: In this paper we develop a technique for proving determinacy of classes of the form $ω^2-Π^1_1+Γ$ (a refinement of the difference hierarchy on the co-analytic sets lying between $ω^2-Π^1_1$ and $(ω^2+1)-Π^1_1$) from weak principles, establishing upper bounds for the determinacy-strength of the classes $ω^2-Π^1_1+Σ^0_α$ for all computable $α$ and of $ω^2-Π^1_1+Δ^1_1$. This bridges the gap between p… ▽ More In this paper we develop a technique for proving determinacy of classes of the form $ω^2-Π^1_1+Γ$ (a refinement of the difference hierarchy on the co-analytic sets lying between $ω^2-Π^1_1$ and $(ω^2+1)-Π^1_1$) from weak principles, establishing upper bounds for the determinacy-strength of the classes $ω^2-Π^1_1+Σ^0_α$ for all computable $α$ and of $ω^2-Π^1_1+Δ^1_1$. This bridges the gap between previously known hypotheses implying determinacy in this region. △ Less

Submitted 23 October, 2017; v1 submitted 4 November, 2014; originally announced November 2014.

Comments: 40 pages

MSC Class: 03E60 (Primary) 03E30 (Secondary)