Subsystems of Second Order Arithmetic

This volumes examines these appropriate axioms for mathematics to prove particular theorems in core areas.

List of tables; Preface; Acknowledgements; 1. Introduction; Part I. Development of Mathematics within Subsystems of Z2: 2. Recursive comprehension; 3. Arithmetical comprehension; 4. Weak König's lemma; 5. Arithmetical transfinite recursion; 6. 11 comprehension; Part II. Models of Subsystems of Z2: 7. ß-models; 8. -models; 9. Non- -models; Part III. Appendix: 10. Additional results; Bibliography; Index.