Baire Categoricity and Σ10-Induction
Stephen G. Simpson · Notre Dame Journal of Formal Logic · 2014
We investigate the reverse-mathematical status of a version of the Baire category theorem known as BCT. In a 1993 paper Brown and Simpson showed that BCT is provable in RCA0. We now show that BCT is equivalent to RCA0 over RCA0∗.