TY - JOUR
T1 - Some more conservation results on the Baire category theorem
AU - Yamazaki, Takeshi
PY - 2000
Y1 - 2000
N2 - In this paper, we generalize a result of Brown and Simpson [1] 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.
AB - In this paper, we generalize a result of Brown and Simpson [1] 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.
KW - Baire category theorem
KW - Reverse mathematics
KW - Second-order arithmetic
UR - http://www.scopus.com/inward/record.url?scp=0034344050&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0034344050&partnerID=8YFLogxK
U2 - 10.1002/(SICI)1521-3870(200001)46:1<105::AID-MALQ105>3.0.CO;2-2
DO - 10.1002/(SICI)1521-3870(200001)46:1<105::AID-MALQ105>3.0.CO;2-2
M3 - Article
AN - SCOPUS:0034344050
SN - 0942-5616
VL - 46
SP - 105
EP - 110
JO - Mathematical Logic Quarterly
JF - Mathematical Logic Quarterly
IS - 1
ER -