English

The determined property of Baire in reverse math

Logic 2020-07-07 v3

Abstract

We define the notion of a determined Borel code in reverse math, and consider the principle DPBDPB, which states that every determined Borel set has the property of Baire. We show that this principle is strictly weaker than ATRATR. Any ω\omega-model of DPBDPB must be closed under hyperarithmetic reduction, but DPBDPB is not a theory of hyperarithmetic analysis. We show that whenever M2ωM\subseteq 2^\omega is the second-order part of an ω\omega-model of DPBDPB, then for every ZMZ \in M, there is a GMG \in M such that GG is Δ11\Delta^1_1-generic relative to ZZ.

Keywords

Cite

@article{arxiv.1809.03940,
  title  = {The determined property of Baire in reverse math},
  author = {Eric P. Astor and Damir Dzhafarov and Antonio Montalbán and Reed Solomon and Linda Brown Westrick},
  journal= {arXiv preprint arXiv:1809.03940},
  year   = {2020}
}

Comments

Greatly expanded introduction as requested by referee