In this paper, we generalize a result of Brown and Simpson  to prove that RCA0+Π0∞-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 Π0∞-BCT over ∑b1-NIA+∇b1-CA.
|Number of pages||6|
|Journal||Mathematical Logic Quarterly|
|Publication status||Published - 2000|
- Baire category theorem
- Reverse mathematics
- Second-order arithmetic
ASJC Scopus subject areas