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

Le Sueur, Chris (2018) Determinacy of refinements to the difference hierarchy of co-analytic sets. Annals of Pure and Applied Logic, 169 (1). pp. 83-115. ISSN 0168-0072

Preview

PDF (Accepted manuscript) - Accepted Version Available under License Creative Commons Attribution Non-commercial No Derivatives. Download (420kB) | Preview

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.

Item Type:	Article
Uncontrolled Keywords:	determinacy,descriptive set theory
Faculty \ School:	Faculty of Science > School of Mathematics
Related URLs:	https://arxiv.org/abs/1411.1106
Depositing User:	Pure Connector
Date Deposited:	31 Oct 2017 06:08
Last Modified:	22 Oct 2022 03:18
URI:	https://ueaeprints.uea.ac.uk/id/eprint/65301
DOI:	10.1016/j.apal.2017.10.001

Downloads

Actions (login required)

View Item