Abstract
In this paper we develop a technique for proving determinacy of classes of the form ω²-Π¹₁+Γ (a refinement of the difference hierarchy on Π¹₁ lying between ω²-Π¹₁ and (ω²+1)-Π¹₁) from weak principles, establishing upper bounds for the determinacy- strength of the classes ω²-Π¹₁+Σ^0_α for all computable α and of ω²-Π¹₁+Δ¹₁. This bridges the gap between previously known hypotheses implying determinacy in this region.
Original language | English |
---|---|
Pages (from-to) | 83-115 |
Number of pages | 33 |
Journal | Annals of Pure and Applied Logic |
Volume | 169 |
Issue number | 1 |
Early online date | 17 Oct 2017 |
DOIs | |
Publication status | Published - Jan 2018 |
Keywords
- Determinacy
- Descriptive Set Theory