Skip to main content Accessibility help
×
Home

The Baire category theorem in weak subsystems of second-order arithmetic

  • Douglas K. Brown (a1) and Stephen G. Simpson (a2)

Abstract

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 and , and , show that suffices to prove B.C.T.II. Some model theory of and its importance in view of Hilbert's program is discussed, as well as applications of our results to functional analysis.

Copyright

References

Hide All
[1]Blass, A., Hirst, J., and Simpson, S. G., Logical analysis of some theorems of combinatorics and topological dynamics, Logic and combinatorics (Simpson, S. G., editor), Contemporary Mathematics, vol. 65, American Mathematical Society, Providence, RI, 1986.
[2]Brown, D. K., Functional analysis in weak subsystems of second order arithmetic, Ph.D. Thesis, The Pennsylvania State University, University Park, PA, 1987.
[3]Brown, D. K., Notions of closed subsets of a complete separable metric space in weak subsystems of second order arithmetic, Contemporary Mathematics, vol. 106, American Mathematical Society, Providence, RI, 1990, pp. 3950.
[4]Brown, D. K. and Simpson, S. G., Which set existence axioms are needed to prove the separable Hahn-Banach theorem?, Annals of Pure and Applied Logic, vol. 31 (1986), pp. 123144.
[5]Friedman, H., Some systems of second order arithmetic and their use, Proceedings of the International Congress of Mathematicians (Vancouver, 1974), vol. 1, Canadian Mathematical Congress, 1975, pp. 235242.
[6]Friedman, H., Systems of second order arithmetic with restricted induction, this Journal, vol. 41 (1976), pp. 557559. (Abstract)
[7]Friedman, H. and Hirst, J., Weak comparability of well orderings and reverse mathematics, Annals of Pure and Applied Logic, vol. 47 (1990), pp. 1129.
[8]Friedman, H., Simpson, S. G., and Smith, R., Countable algebra and set existence axioms, Annals of Pure and Applied Logic, vol. 25 (1983), pp. 141181.
[9]Hirst, J., Combinatorics in subsystems of second order arithmetic, Ph.D. Thesis, The Pennsylvania State University, University Park, PA, 1987.
[10]Jockush, C. and Soare, R., classes and degrees of theories, Transactions of the American Mathematical Society, vol. 173 (1972), pp. 3356.
[11]Kirby, L. and Paris, J., Initial segments of models of Peano's axioms, Set theory and hierarchy theory V(Bierutowice, Poland, 1976), Springer Lecture Notes in Mathematics, vol. 619, Springer-Verlag, Berlin and New York, 1977, pp. 211226.
[12]Kleene, S., Introduction to metamathematics, Van Nostrand, Princeton, NJ, 1952.
[13]Lerman, , Degrees of unsolvability, Springer-Verlag, Berlin and New York, 1983.
[14]Royden, H. L., Real analysis (second editor), MacMillan, New York, 1968.
[15]Scott, D., Algebras of sets binumerable in complete extensions of arithmetic, Proceedings of Symposia in Pure Mathematics, vol. 5, American Mathematical Society, Providence, RI, 1962, pp. 117121.
[16]Scott, D. and Tennenbaum, S., On the degrees of complete extensions of arithmetic, Notices of the American Mathematical Society, vol. 7 (1960), pp. 242243. (Abstract)
[17]Shoenfield, J., On degrees of unsolvability, Annals of Mathematics, vol. 69 (1955), pp. 644653.
[18]Sieg, W., Fragments of arithmetic, Annals of Pure and Applied Logic, vol. 28 (1985), pp. 3372.
[19]Simpson, S. G., Partial realizations of Hilbert's program, this Journal, vol. 53 (1988), pp. 349363.
[20]Simpson, S. G., and transfinite induction, Logic Colloquiu '80 (vanDalen, D., editor), North-Holland, Amsterdam, 1982.
[21]Simpson, S. G., Subsystems of second order arithmetic, in preparation.
[22]Simpson, S. G., Which set existence axioms are needed to prove the Cauchy-Peano theorem for ordinary differential equations?, this Journal, vol. 49 (1984), pp. 783802.
[23]Simpson, S. G. and Smith, R., Factorization of polynomials and induction, Annals of Pure and Applied Logic, vol. 31 (1986), pp. 289306.
[24]Tait, W. W., Finitism, Journal of Philosophy, vol. 78 (1981), pp. 524546.
[25]Weyl, H., Das Kontinuum: Kritische Untersuchungen über die Grundlagen der Analysis (Berlin, 1917, iv + 84 pages), reprinted by Chelsea, New York, 1960 and 1973.
[26]Yu, X., Measure theory in weak subsystems of second order arithmetic, Ph.D. Thesis, The Pennsylvania State University, University Park, PA, 1987.

Related content

Powered by UNSILO

The Baire category theorem in weak subsystems of second-order arithmetic

  • Douglas K. Brown (a1) and Stephen G. Simpson (a2)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.