Some More Conservation Results on the Baire Category Theorem

@article{Yamazaki2000SomeMC,
  title={Some More Conservation Results on the Baire Category Theorem},
  author={Takeshi Yamazaki},
  journal={Math. Log. Q.},
  year={2000},
  volume={46},
  pages={105-110}
}
In this paper, we generalize a result of Brown and Simpson [1] to prove that RCA0+Π∞-BCT is conservative over RCA0 with respect to the set of formulae in the form ∃!X φ(X), where φ is arithmetical. We also consider the conservation of Π∞-BCT over Σ1-NIA+∇1-CA. Mathematics Subject Classification: 03F35, 03F60.