Determinacy of refinements to the difference hierarchy of co-analytic sets

Chris Le Sueur

    Research output: Contribution to journalArticlepeer-review

    19 Downloads (Pure)

    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 languageEnglish
    Pages (from-to)83-115
    Number of pages33
    JournalAnnals of Pure and Applied Logic
    Volume169
    Issue number1
    Early online date17 Oct 2017
    DOIs
    Publication statusPublished - Jan 2018

    Keywords

    • Determinacy
    • Descriptive Set Theory

    Cite this