1 results
THE DETERMINED PROPERTY OF BAIRE IN REVERSE MATH
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 1 / March 2020
- Published online by Cambridge University Press:
- 10 September 2019, pp. 166-198
- Print publication:
- March 2020
-
- Article
- Export citation
-
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 
$AT{R_0}$. Any ω-model of 
$CD - PB$ must be closed under hyperarithmetic reduction, but 
$CD - PB$ is not a theory of hyperarithmetic analysis. We show that whenever 
$M \subseteq {2^\omega }$ is the second-order part of an ω-model of 
$CD - PB$, then for every 
$Z \in M$, there is a 
$G \in M$ such that G is 
${\rm{\Delta }}_1^1$-generic relative to Z.
