David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Symbolic Logic 58 (2):557-578 (1993)
Working within weak subsystems of second-order arithmetic Z2 we consider two versions of the Baire Category theorem which are not equivalent over the base system RCA0. We show that one version (B.C.T.I) is provable in RCA0 while the second version (B.C.T.II) requires a stronger system. We introduce two new subsystems of Z2, which we call RCA+ 0 and WKL+ 0, and show that RCA+ 0 suffices to prove B.C.T.II. Some model theory of WKL+ 0 and its importance in view of Hilbert's program is discussed, as well as applications of our results to functional analysis
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Chris J. Conidis (2010). A Measure-Theoretic Proof of Turing Incomparability. Annals of Pure and Applied Logic 162 (1):83-88.
Similar books and articles
Jeffry L. Hirst & Carl Mummert (2010). Reverse Mathematics and Uniformity in Proofs Without Excluded Middle. Notre Dame Journal of Formal Logic 52 (2):149-162.
Stephen G. Simpson (1994). On the Strength of König's Duality Theorem for Countable Bipartite Graphs. Journal of Symbolic Logic 59 (1):113-123.
Ulrich Kohlenbach (1999). A Note on Goodman's Theorem. Studia Logica 63 (1):1-5.
Robert Goldblatt (1985). On the Role of the Baire Category Theorem and Dependent Choice in the Foundations of Logic. Journal of Symbolic Logic 50 (2):412-422.
Mariagnese Giusto & Stephen G. Simpson (2000). Located Sets and Reverse Mathematics. Journal of Symbolic Logic 65 (3):1451-1480.
Jeremy Avigad (2006). Fundamental Notions of Analysis in Subsystems of Second-Order Arithmetic. Annals of Pure and Applied Logic 139 (1):138-184.
Jeremy Avigad (1996). Formalizing Forcing Arguments in Subsystems of Second-Order Arithmetic. Annals of Pure and Applied Logic 82 (2):165-191.
Stephen G. Simpson (1984). Which Set Existence Axioms Are Needed to Prove the Cauchy/Peano Theorem for Ordinary Differential Equations? Journal of Symbolic Logic 49 (3):783-802.
Added to index2009-01-28
Total downloads14 ( #115,807 of 1,102,758 )
Recent downloads (6 months)9 ( #24,603 of 1,102,758 )
How can I increase my downloads?