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

Chris Le Sueur

doi:10.1016/j.apal.2017.10.001

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

Chris Le Sueur

School of Mathematics

Research output: Contribution to journal › Article

8 Downloads (Pure)

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.

Original language	English
Pages (from-to)	83-115
Journal	Annals of Pure and Applied Logic
Volume	169
Issue number	1
Early online date	17 Oct 2017
DOIs	https://doi.org/10.1016/j.apal.2017.10.001
Publication status	Published - Jan 2018

Keywords

Determinacy
Descriptive Set Theory

Access to Document

10.1016/j.apal.2017.10.001Licence: Unspecified

Accepted manuscriptAccepted author manuscript, 410 KBLicence: CC BY-NC-ND

https://arxiv.org/abs/1411.1106Licence: CC BY-NC-ND

Cite this

@article{055e088c0bd845b9944b860ca0dccaf4,

title = "Determinacy of refinements to the difference hierarchy of co-analytic sets",

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.",

keywords = "Determinacy, Descriptive Set Theory",

author = "{Le Sueur}, Chris",

year = "2018",

month = jan,

doi = "10.1016/j.apal.2017.10.001",

language = "English",

volume = "169",

pages = "83--115",

journal = "Annals of Pure and Applied Logic",

issn = "0168-0072",

publisher = "Elsevier",

number = "1",

}

TY - JOUR

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

AU - Le Sueur, Chris

PY - 2018/1

Y1 - 2018/1

N2 - 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.

AB - 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.

KW - Determinacy

KW - Descriptive Set Theory

U2 - 10.1016/j.apal.2017.10.001

DO - 10.1016/j.apal.2017.10.001

M3 - Article

VL - 169

SP - 83

EP - 115

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

SN - 0168-0072

IS - 1

ER -