We investigate the reverse-mathematical status of a version of the Baire category theorem known as . In a 1993 paper Brown and Simpson showed that is provable in . We now show that is equivalent to over .
"Baire Categoricity and -Induction." Notre Dame J. Formal Logic 55 (1) 75 - 78, 2014. https://doi.org/10.1215/00294527-2377887