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
Notions of compactness in weak subsystems of second order arithmetic
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. 47 - 66Publisher: Cambridge University PressPrint publication year: 2005
References
[1] and , Constructive analysis, Springer-Verlag, Berlin, 1985.
[2] , , and , Logical analysis of some theorems of combinatorics and topological dynamics,Logic and combinatorics (, editor), Contemporary Mathematics, vol. 65, American Mathematical Society, Providence, RI, 1986.
[3] , Functional analysis in weak subsystems of second order arithmetic, Ph.D. thesis, The Pennsylvania State University, University Park, PA, 1987.
[4] , Notions of closed subsets of a complete separable metric space in weak subsystems of second order arithmetic,Logic and computation(, editor), Contemporary Mathematics, vol. 106, AmericanMathematical Society, Providence, RI, 1990, pp. 39–50.
[5] and , Which set existence axioms are necessary to prove the separable Hahn-Banach theorem?,Annals of Pure and Applied Logic, vol. 31 (1986), pp. 123–144.
[6] , Some systems of second order arithmetic with restricted induction (abstract),The Journal of Symbolic Logic, vol. 41 (1976), pp. 557–559.
[7] , , and , Countable algebra and set existence axioms,Annals of Pure and Applied Logic, vol. 25 (1983), pp. 141–181.
[8] and , Lesbesgue numbers and Atsuji spaces in subsystems of secondorder arithmetic,Archive for Mathematical Logic, vol. 37 (1998), pp. 343–362.
[9] and , Located sets and reverse mathematics,The Journal of Symbolic Logic, to appear.
[10] , Which set existence axioms are needed to prove the Cauchy-Peano theorem for ordinary differential equations?,The Journal of Symbolic Logic, vol. 49 (1984), pp. 783–802.
[11] , Subsystems of second order arithmetic, Springer-Verlag, Berlin, 1999.
[12] , Das Kontinuum: Kritische Untersuchungen über die Grundlagen der Analysis, Berlin, 1917, reprinted by Chelsea, New York, NY, 1973.
- 4
- Cited by