Book contents
- Frontmatter
- Preface
- Contents
- Possible m-diagrams ofmodels of arithmetic
- Weak theories of nonstandard arithmetic and analysis
- Notions of compactness in weak subsystems of second order arithmetic
- Proof-theoretic strength of the stable marriage theorem and other problems
- Free sets and reversemathematics
- Interpreting arithmetic in the r.e. degrees under Σ4-induction
- Reverse mathematics, Archimedean classes, and Hahn's Theorem
- The Baire category theoremover a feasible base theory
- Basic applications of weak König's lemma in feasible analysis
- Maximal nonfinitely generated subalgebras
- Metamathematics of comparability
- A note on compactness of countable sets
- A survey of the reversemathematics of ordinal arithmetic
- Reversemathematics and ordinal suprema
- Did Cantor need set theory?
- Models of arithmetic: quantifiers and complexity
- Higher order reversemathematics
- Arithmetic saturation
- WQO and BQO theory in subsystems of second order arithmetic
- Reverse mathematics and graph coloring: eliminating diagonalization
- Undecidable theories and reversemathematics
- Π01 sets and models of WKL0
- Manipulating the reals in RCA0
- Reverse mathematics and weak systems of 0-1 strings for feasible analysis
- References
Did Cantor need set theory?
Published online by Cambridge University Press: 31 March 2017
Edited by
Book contents
- Frontmatter
- Preface
- Contents
- Possible m-diagrams ofmodels of arithmetic
- Weak theories of nonstandard arithmetic and analysis
- Notions of compactness in weak subsystems of second order arithmetic
- Proof-theoretic strength of the stable marriage theorem and other problems
- Free sets and reversemathematics
- Interpreting arithmetic in the r.e. degrees under Σ4-induction
- Reverse mathematics, Archimedean classes, and Hahn's Theorem
- The Baire category theoremover a feasible base theory
- Basic applications of weak König's lemma in feasible analysis
- Maximal nonfinitely generated subalgebras
- Metamathematics of comparability
- A note on compactness of countable sets
- A survey of the reversemathematics of ordinal arithmetic
- Reversemathematics and ordinal suprema
- Did Cantor need set theory?
- Models of arithmetic: quantifiers and complexity
- Higher order reversemathematics
- Arithmetic saturation
- WQO and BQO theory in subsystems of second order arithmetic
- Reverse mathematics and graph coloring: eliminating diagonalization
- Undecidable theories and reversemathematics
- Π01 sets and models of WKL0
- Manipulating the reals in RCA0
- Reverse mathematics and weak systems of 0-1 strings for feasible analysis
- References
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Reverse Mathematics 2001 , pp. 244 - 270Publisher: Cambridge University PressPrint publication year: 2005
References
[1] , Functional analysis in weak subsystems of second order arithmetic, Ph.D. thesis, The Pennsylvania State University, 1987.
[2] , Notions of closed subsets of a complete separable metric space in weak subsystems of second order arithmetic,Logic and computation (, editor), Contemporary Mathematics, no. 106, American Mathematical Society, 1990, pp. 39–50.Google Scholar
[3] and , Which set existence axioms are needed to prove the separable Hahn-Banach theorem?,Annals of Pure and Applied Logic, vol. 31 (1986), pp. 123–144.
[4] , The Baire category theorem in weak subsytems of second order arithmetic,The Journal of Symbolic Logic, vol. 58 (1993), pp. 557–578.
[5] , Contributions to the founding of the theory of transfinite numbers, Dover Publications, Inc., 1955, translated and provided with an introduction and notes by Philip .
[6] , The trigonometric background to Georg Cantor's theory of sets,Archive for History of Exact Sciences, (1971), no. 7, pp. 181–216.
[7] , Georg Cantor: his mathematics and philosophy of the infinite, Harvard University Press, 1979.
[8] and , Reverse mathematics of homeomorphic embeddings,Annals of Pure and Applied Logic, vol. 54 (1991), pp. 229–253.
[9] , Derived sequences and reverse mathematics, Mathematical Logic Quarterly, vol. 39 (1993), pp. 447–453.
[10] , On the necessary use of strong set existence axioms in analysis and functional analysis, Ph.D. thesis, The Pennsylvania State University, 1996.
[11] , An introduction to harmonic analysis, Dover Publications, Inc., 1976.
[12] and , Descriptive set theory and harmonic analysis,The Journal of Symbolic Logic, vol. 57 (1992), no. 2, pp. 413–441.
[13] and , Descriptive set theory and the structure of sets of uniqueness, Cambridge University Press, 1987.
[14] and , Fixed point theory in weak second-order arithmetic,Annals of Pure and Applied Logic, vol. 47 (1990), pp. 167–188.
[15] , Subsystems of second order arithmetic, Perspectives inMathematical Logic, Springer–Verlag, 1999.
[16] , Measure theory in weak subsystems of second order arithmetic, Ph.D. thesis, The Pennsylvania State University, 1987.
[17] , Lebesgue convergence theorems and reverse mathematics,Mathematical Logic Quarterly, vol. 40 (1994), pp. 1–13.