Some more conservation results on the Baire category theorem

Mathematical Logic Quarterly

Volumn 46, Issue 1, 2000, Pages 105-110

  Yamazaki, Takeshi ^a  

^a TOHOKU UNIVERSITY   (Japan)

Author keywords

Baire category theorem; Reverse mathematics; Second order arithmetic

Indexed keywords

EID: 0034344050     PISSN: 09425616     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1521-3870(200001)46:1<105::AID-MALQ105>3.0.CO;2-2     Document Type: Article

References (4)

1. BROWN, D. K., and S. G. SIMPSON, The Baire category theorem in weak subsystems of second-oder arithmetic. J. Symb. Logic 58, (1993), 557-578.
2. FERREIRA, F., A feasible theory for analysis. J. Symb. Logic 59, (1994), 1001-1011.
3. SIMPSON, S. G., Subsystems of Second Order Arithmetic. Springer-Verlag, New York 1998.
4. 0. Hand-writing notes, 1995, 4 pages.