Through a series of case studies, this volume examines these axioms to prove particular theorems in core mathematical areas.
Inhaltsverzeichnis
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.
