Subsystems of Second Order Arithmetic

 

1. Introduction; Part I. Development of Mathematics within Subsystems of Z2: 2. Recursive comprehension; 3. Arithmetical comprehension; 4. Weak Konig's lemma; 5. Arithmetical transfinite recursion; 6. Pi 11 comprehension; Part II. Models of Subsystems of Z2: 7. Beta-models; 8. Omega-models; 9. Non-omega-models; 10. Additional results.