HomePublications

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

Research output: Contribution to journalArticle

Open Access permissions

Open

Documents

Links

DOI

Authors

  • Chris Le Sueur

Organisational units

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.

Details

Original languageEnglish
Pages (from-to)83-115
JournalAnnals of Pure and Applied Logic
Volume169
Issue number1
Early online date17 Oct 2017
DOIs
Publication statusPublished - Jan 2018
Peer-reviewedYes

Keywords

    Research areas

  • Determinacy, Descriptive Set Theory

View graph of relations

ID: 121706062

Related by journal
  1. Ax-Schanuel and strong minimality for the j-function

    Research output: Contribution to journalArticle

  2. Separating club-guessing principles in the presence of fat forcing axioms

    Research output: Contribution to journalArticle

  3. Forcing lightface definable well-orders without the CGH

    Research output: Contribution to journalArticle

  4. Exponentially Closed Fields and the Conjecture on Intersections with Tori

    Research output: Contribution to journalArticle