The Determined Property of Baire in Reverse Math

Eric P. Astor; Damir Dzhafarov; Antonio Montalbán; Reed Solomon; Linda Brown Westrick

doi:10.1017/jsl.2019.64

The Determined Property of Baire in Reverse Math

Eric P. Astor, Damir Dzhafarov, Antonio Montalbán, Reed Solomon, Linda Brown Westrick

Mathematics

Research output: Contribution to journal › Article › peer-review

2 Scopus citations

Abstract

We define the notion of a completely determined Borel code in reverse mathematics, and consider the principle CD-PB, which states that every completely determined Borel set has the property of Baire. We show that this principle is strictly weaker than. Any ω-model of must be closed under hyperarithmetic reduction, but is not a theory of hyperarithmetic analysis. We show that whenever is the second-order part of an ω-model of CD-PB, then for every Z M, there is a G M such that G is Δ-generic relative to Z.

Original language	English (US)
Pages (from-to)	166-198
Number of pages	33
Journal	Journal of Symbolic Logic
Volume	85
Issue number	1
DOIs	https://doi.org/10.1017/jsl.2019.64
State	Published - Mar 1 2020

All Science Journal Classification (ASJC) codes

Philosophy
Logic

Access to Document

10.1017/jsl.2019.64

Cite this

@article{659fa7d05ba343d3852c0da68cf5afbb,

title = "The Determined Property of Baire in Reverse Math",

abstract = "We define the notion of a completely determined Borel code in reverse mathematics, and consider the principle CD-PB, which states that every completely determined Borel set has the property of Baire. We show that this principle is strictly weaker than. Any ω-model of must be closed under hyperarithmetic reduction, but is not a theory of hyperarithmetic analysis. We show that whenever is the second-order part of an ω-model of CD-PB, then for every Z M, there is a G M such that G is Δ-generic relative to Z.",

author = "Astor, {Eric P.} and Damir Dzhafarov and Antonio Montalb{\'a}n and Reed Solomon and Westrick, {Linda Brown}",

note = "Publisher Copyright: {\textcopyright} 2019 The Association for Symbolic Logic.",

year = "2020",

month = mar,

day = "1",

doi = "10.1017/jsl.2019.64",

language = "English (US)",

volume = "85",

pages = "166--198",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Association for Symbolic Logic",

number = "1",

}

TY - JOUR

T1 - The Determined Property of Baire in Reverse Math

AU - Astor, Eric P.

AU - Dzhafarov, Damir

AU - Montalbán, Antonio

AU - Solomon, Reed

AU - Westrick, Linda Brown

PY - 2020/3/1

Y1 - 2020/3/1

N2 - We define the notion of a completely determined Borel code in reverse mathematics, and consider the principle CD-PB, which states that every completely determined Borel set has the property of Baire. We show that this principle is strictly weaker than. Any ω-model of must be closed under hyperarithmetic reduction, but is not a theory of hyperarithmetic analysis. We show that whenever is the second-order part of an ω-model of CD-PB, then for every Z M, there is a G M such that G is Δ-generic relative to Z.

AB - We define the notion of a completely determined Borel code in reverse mathematics, and consider the principle CD-PB, which states that every completely determined Borel set has the property of Baire. We show that this principle is strictly weaker than. Any ω-model of must be closed under hyperarithmetic reduction, but is not a theory of hyperarithmetic analysis. We show that whenever is the second-order part of an ω-model of CD-PB, then for every Z M, there is a G M such that G is Δ-generic relative to Z.

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

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

U2 - 10.1017/jsl.2019.64

DO - 10.1017/jsl.2019.64

M3 - Article

AN - SCOPUS:85083467020

SN - 0022-4812

VL - 85

SP - 166

EP - 198

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

IS - 1

ER -

The Determined Property of Baire in Reverse Math

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this