We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
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.
We prove that it is relatively consistent with 
$ZFC$ that in any perfect Polish space, for every nonmeager set 
$A$ there exists a nowhere dense Cantor set 
$C$ such that 
$A\,\cap \,C$ is nonmeager in $C$. We also examine variants of this result and establish a measure theoretic analog.
