Back to Search
Start Over
Some More Conservation Results on the Baire Category Theorem.
- Source :
- Mathematical Logic Quarterly; Jan2000, Vol. 46 Issue 1, p105-110, 6p
- Publication Year :
- 2000
-
Abstract
- In this paper, we generalize a result of Brown and Simpson [1] to prove that RCA<subscript>0</subscript>+Π<superscript>0</superscript><subscript>∞</subscript>-BCT is conservative over RCA<subscript>0</subscript> with respect to the set of formulae in the form ∃!Xϕ(X), where ϕ is arithmetical. We also consider the conservation of Π<superscript>0</superscript><subscript>0∞</subscript>-BCT over Σ<superscript>b</superscript><subscript>1</subscript>-NIA+∇<superscript>b</superscript><subscript>1</subscript>-CA. [ABSTRACT FROM AUTHOR]
- Subjects :
- MATHEMATICAL formulas
BAIRE classes
REAL variables
ARITHMETIC
MATHEMATICS
LOGIC
Subjects
Details
- Language :
- English
- ISSN :
- 09425616
- Volume :
- 46
- Issue :
- 1
- Database :
- Complementary Index
- Journal :
- Mathematical Logic Quarterly
- Publication Type :
- Academic Journal
- Accession number :
- 13585827
- Full Text :
- https://doi.org/10.1002/(SICI)1521-3870(200001)46:1<105::AID-MALQ105>3.0.CO;2-2