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: | |
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 |