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

Chris Le Sueur

Research output: Contribution to journalArticle (Academic Journal)

Abstract

In this paper we develop a technique for proving determinacy of classes of the form ω21 1+Γ (a refinement of the difference hierarchy on Π1 1 lying between ω21 1 and (ω2+1)-Π1 1) from weak principles, establishing upper bounds for the determinacy-strength of the classes ω21 1α 0 for all computable α and of ω21 11 1. 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
DOIs
Publication statusPublished - 1 Jan 2018

Keywords

  • Descriptive set theory
  • Determinacy

Fingerprint Dive into the research topics of 'Determinacy of refinements to the difference hierarchy of co-analytic sets'. Together they form a unique fingerprint.

  • Cite this