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

[thumbnail of Accepted manuscript]
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:
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

Downloads per month over past year

Actions (login required)

View Item View Item