Skip to content

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

Research output: Contribution to journalArticle

Standard

Determinacy of refinements to the difference hierarchy of co-analytic sets. / Le Sueur, Chris.

In: Annals of Pure and Applied Logic, Vol. 169, No. 1, 01.01.2018, p. 83-115.

Research output: Contribution to journalArticle

Harvard

Le Sueur, C 2018, 'Determinacy of refinements to the difference hierarchy of co-analytic sets', Annals of Pure and Applied Logic, vol. 169, no. 1, pp. 83-115. https://doi.org/10.1016/j.apal.2017.10.001

APA

Vancouver

Author

Le Sueur, Chris. / Determinacy of refinements to the difference hierarchy of co-analytic sets. In: Annals of Pure and Applied Logic. 2018 ; Vol. 169, No. 1. pp. 83-115.

Bibtex

@article{d99ca951fc7f43f3981a54c109c71d19,
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 ω2-Π1 1+Γ (a refinement of the difference hierarchy on Π1 1 lying between ω2-Π1 1 and (ω2+1)-Π1 1) from weak principles, establishing upper bounds for the determinacy-strength of the classes ω2-Π1 1+Σα 0 for all computable α and of ω2-Π1 1+Δ1 1. This bridges the gap between previously known hypotheses implying determinacy in this region.",
keywords = "Descriptive set theory, Determinacy",
author = "{Le Sueur}, Chris",
year = "2018",
month = "1",
day = "1",
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 Masson SAS",
number = "1",

}

RIS - suitable for import to EndNote

TY - JOUR

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

AU - Le Sueur, Chris

PY - 2018/1/1

Y1 - 2018/1/1

N2 - In this paper we develop a technique for proving determinacy of classes of the form ω2-Π1 1+Γ (a refinement of the difference hierarchy on Π1 1 lying between ω2-Π1 1 and (ω2+1)-Π1 1) from weak principles, establishing upper bounds for the determinacy-strength of the classes ω2-Π1 1+Σα 0 for all computable α and of ω2-Π1 1+Δ1 1. 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 ω2-Π1 1+Γ (a refinement of the difference hierarchy on Π1 1 lying between ω2-Π1 1 and (ω2+1)-Π1 1) from weak principles, establishing upper bounds for the determinacy-strength of the classes ω2-Π1 1+Σα 0 for all computable α and of ω2-Π1 1+Δ1 1. This bridges the gap between previously known hypotheses implying determinacy in this region.

KW - Descriptive set theory

KW - Determinacy

UR - http://www.scopus.com/inward/record.url?scp=85031691951&partnerID=8YFLogxK

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 -