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 , which states that every 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 , then for every , there is a such that is -generic relative to .
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